TABLEAUX

swMATH11674MaRDI QIDQ23614

No author found.

Described by source

• TABLEAUX: A general theorem prover for modal logics

Related Items (19)

A tableau-like proof procedure for normal modal logics ⋮ Resolution theorem proving in reified modal logics ⋮ MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) ⋮ A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ A resolution-based proof method for temporal logics of knowledge and belief ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Distributed modal theorem proving with KE ⋮ A simple tableau system for the logic of elsewhere ⋮ Unnamed Item ⋮ Proofs and countermodels in non-classical logics ⋮ Unnamed Item ⋮ Model Theoretic Syntax and Parsing ⋮ Unnamed Item ⋮ Strongly analytic tableaux for normal modal logics ⋮ A new method for testing decision procedures in modal logics ⋮ A uniform tableaux method for nonmonotonic modal logics ⋮ Local reductions for the modal cube ⋮ Proof analysis in modal logic

This page was built for software: TABLEAUX