Cited in
(30)- 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
- scientific article; zbMATH DE number 1303345 (Why is no real title available?)
- 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
- KRIPKE
- LWB
- LoTREC
- NESCOND
- Imogen
- Pesca
- IntHistGC
- GLEFatinf
- HARP
- KQML
- Proofs and countermodels in non-classical logics
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
- scientific article; zbMATH DE number 1761417 (Why is no real title available?)
- scientific article; zbMATH DE number 517002 (Why is no real title available?)
- Strongly analytic tableaux for normal modal logics
- Model Theoretic Syntax and Parsing
- MOIN
This page was built for software: TABLEAUX
