modal-logic

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

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

Final Year Masters Project: modal logic solver tableaux

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

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

Computational logic in Julia!

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

Modal Logic Library in Coq

Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau

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

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

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

Model-checking-based testing tool for frontend state-transition

Library and application for encoding non-classical logics into classical logics.

Compilation of modal logic based functional language ML5 to JavaScript.

Lean 4 formalization of TM, a bimodal logic of tense and modality over task semantics: machine-checked soundness, completeness, compactness, and a tableau decision procedure.

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