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.

    Language:Python5892912