Tableau calculus

Features:

• Solving modal logic formulas with tableau calculus
• Print proof tree
• Building Kripke structures based on proof tree

v1.0

Features:

• Modelling Kripke structures and modal logic formulas
• Find subset of worlds, that all worlds force a given formula
• Three wise men puzzle