Modal Logic Playground

Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.

A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web

Final Year Masters Project: modal logic solver tableaux

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!

Computational logic in Julia!

Modal Logic Library in Coq

Testing Theory of Mind (ToM) in language models with epistemic logic

Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.

Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!

Compilation of modal logic based functional language ML5 to JavaScript.

Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)

A neural network model builder, leveraging a neuro-symbolic interface.

Library and application for encoding non-classical logics into classical higher-order logic.

Tableau-based theorem prover for public announcement logic

A tool for translating higher-order modal logic problems into classical higher-order logic

A Kripke structure modelling framework