COOL 2–a generic reasoner for modal fixpoint logics (system description)
O Görlitz, D Hausmann, M Humml, D Pattinson… - … on Automated Deduction, 2023 - Springer
There is a wide range of modal logics whose semantics goes beyond relational structures,
and instead involves, eg, probabilities, multi-player games, weights, or neighbourhood …
and instead involves, eg, probabilities, multi-player games, weights, or neighbourhood …
COOL 2--A Generic Reasoner for Modal Fixpoint Logics
O Görlitz, D Hausmann, M Humml, D Pattinson… - arxiv preprint arxiv …, 2023 - arxiv.org
There is a wide range of modal logics whose semantics goes beyond relational structures,
and instead involves, eg, probabilities, multi-player games, weights, or neighbourhood …
and instead involves, eg, probabilities, multi-player games, weights, or neighbourhood …