TABLEAUX
From MaRDI portal
Software:23614
swMATH11674MaRDI QIDQ23614FDOQ23614
Author name not available (Why is that?)
Cited In (19)
- Local reductions for the modal cube
- A new method for testing decision procedures in modal logics
- A uniform tableaux method for nonmonotonic modal logics
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Title not available (Why is that?)
- A resolution-based proof method for temporal logics of knowledge and belief
- Resolution theorem proving in reified modal logics
- A simple tableau system for the logic of elsewhere
- Distributed modal theorem proving with KE
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
- Proof analysis in modal logic
- Intuitionistic Decision Procedures Since Gentzen
- A tableau-like proof procedure for normal modal logics
- Proofs and countermodels in non-classical logics
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Strongly analytic tableaux for normal modal logics
- Model Theoretic Syntax and Parsing
This page was built for software: TABLEAUX
