swMATH11674MaRDI QIDQ23614FDOQ23614
Author name not available (Why is that?)
Official website: http://rd.springer.com/article/10.1007%2FBF01880326
Cited In (28)
- 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
- LoTREC
- NESCOND
- Imogen
- Pesca
- Proofs and countermodels in non-classical logics
- IntHistGC
- GLEFatinf
- HARP
- KQML
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
- Title not available (Why is that?)
- Title not available (Why is that?)
- MOIN
- Strongly analytic tableaux for normal modal logics
- Model Theoretic Syntax and Parsing
This page was built for software: TABLEAUX
