COOL

Project information

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

modal logic hybrid logic coalgebraic ...

+ 1 more

1,102 Commits
6 Branches
9 Tags
7 Releases

README
GNU GPLv3

Created on

March 08, 2019

Copy SSH clone URLgit@git8.cs.fau.de:software/cool.git
Copy HTTPS clone URLhttps://git8.cs.fau.de/software/cool.git