Tableau Methods and ModaLogic

Analytical Tableau for Propositional Logic

Much of the core concepts behind systematic tableau construction are used in the construction of propositional logic tableaux. The main ideas behind the systematic tableau development are its hierarchical structure and the node-replacement and node-expansion rules and the determination of branch and tableau closure.

These main ideas are found through the entire modal-logic tableau development process, the difference being in the specific replacement/expansion rules applied and the accessibility rules used to determine the appropriate rules.

The implementation process begins with the proposition analytical tableau construction process for a single logical statement.

---

Last update: 2021-07-02