modal-logic topic

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

erohkohl

Modal Logic Playground

rkirsling

Final Year Masters Project: modal logic solver tableaux

marcincuber

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

mtt-lang

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

nclarius