tableau-calculus
There are 1 repositories under tableau-calculus topic.
erohkohl/mlsolver
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
There are 1 repositories under tableau-calculus topic.
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.