TABLEAUX

MaRDI QIDQ23614swMATHFDO

Official website http://rd.springer.com/article/10.1007%2FBF01880326

Described by source

• TABLEAUX: A general theorem prover for modal logics

Cited in

(30)

• A tableau-like proof procedure for normal modal logics
• Resolution theorem proving in reified modal logics
• KRIPKE
• LWB
• LoTREC
• Local reductions for the modal cube
• NESCOND
• Proofs and countermodels in non-classical logics
• Imogen
• Pesca
• Intuitionistic Decision Procedures Since Gentzen
• IntHistGC
• GLEFatinf
• HARP
• KQML
• scientific article; zbMATH DE number 1303345 (Why is no real title available?)
• scientific article; zbMATH DE number 517002 (Why is no real title available?)
• scientific article; zbMATH DE number 1761417 (Why is no real title available?)
• A resolution-based proof method for temporal logics of knowledge and belief
• Distributed modal theorem proving with KE
• A simple tableau system for the logic of elsewhere
• Model Theoretic Syntax and Parsing
• MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
• 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
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• MOIN
• Proof analysis in modal logic
• A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux

This page was built for software: TABLEAUX