Advanced Logic Calculators

Advanced Logic Calculators

• Analytic tableaux generator: https://www.umsu.de/trees/
• Natural deduction proof checker: https://proofs.openlogicproject.org/
• Propositional logic calculator (finds models): https://www.inf.unibz.it/~franconi/teaching/propcalc/
• A tutorial on sequent calculus: http://logitext.mit.edu/tutorial
• Modal logic playground (for constructing models): https://rkirsling.github.io/modallogic/