C
coalgebraic modal logic
Projects with this topic
-
A generic reasoner for modal and hybrid logics; it can be instantiated to any modal or hybrid logic admitting an axiomatization in terms of so-called rank-1 rules or axioms
Updated
Please be informed that there will be a scheduled downtime for GitLab (git8.cs.fau.de) on Friday, November 15, 2024, from 07:00 to 08:30 for maintenance and updates. During this period, GitLab will be unavailable.
A generic reasoner for modal and hybrid logics; it can be instantiated to any modal or hybrid logic admitting an axiomatization in terms of so-called rank-1 rules or axioms