tableau-calculus

There are 0 repository under tableau-calculus topic.

• erohkohl / mlsolver

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

  artificial-intelligencemulti-agent-systemskripke-structuremodal-logicknowledge-based-systemsmulti-modal-logictableau-calculus
  Language:Python 57