Explore projects
-
Software / COOL
GNU General Public License v3.0 onlyA 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