Positive normal forms for counterpart-based temporal logics, with a standard non-categorical semantics
Primary LanguageAgdaMIT LicenseMIT
No issues in this repository yet.