Projects with this topic
Sort by:
-
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
On 12.11.2025, a key rollover will occur. IdM login may be temporarily 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