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 Thursday, June 25, 2026, from 07:00 to 13:00, maintenance work will be performed on the GitLab server.
During this window, both GitLab and Mattermost will be unavailable. Please plan your work accordingly.
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