Positive normal forms for counterpart-based temporal logics, with a standard non-categorical semantics
Primary LanguageAgdaMIT LicenseMIT