Strongly analytic tableaux for normal modal logics
From MaRDI portal
Publication:5210808
Recommendations
- Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
- scientific article; zbMATH DE number 1267561
- Uniform and non uniform strategies for tableaux calculi for modal logics
- scientific article; zbMATH DE number 589742
- Cut-free tableau calculi for some propositional normal modal logics
Cites work
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- First-order modal tableaux
- scientific article; zbMATH DE number 4014675 (Why is no real title available?)
- scientific article; zbMATH DE number 4055570 (Why is no real title available?)
- scientific article; zbMATH DE number 4108725 (Why is no real title available?)
- scientific article; zbMATH DE number 510780 (Why is no real title available?)
- Modal nonmonotonic logics
- Modelling knowledge and action in distributed systems
- On the relation between default and autoepistemic logic
- Proof methods for modal and intuitionistic logics
- Tableau methods of proof for modal logics
- TABLEAUX: A general theorem prover for modal logics
- Theory matrices (for modal logics) using alphabetical monotonicity
Cited in
(44)- EXPtime tableaux for ALC
- Combining deduction and model checking into tableaux and algorithms for converse-PDL.
- Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
- Labelled tableau systems for some subintuitionistic logics
- Cut-free tableau calculi for some propositional normal modal logics
- Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
- scientific article; zbMATH DE number 1612561 (Why is no real title available?)
- Analytic tableaux for positive logic free from ``paradoxes of material implication
- Modal tableaux: completeness vs. termination
- scientific article; zbMATH DE number 4018414 (Why is no real title available?)
- Tableau reductions: towards an optimal decision procedure for the modal necessity
- Minimal structures for modal tableaux: Some examples
- Through an inference rule, darkly
- Clausal Tableaux for Multimodal Logics of Belief
- Terminating modal tableaux with simple completeness proof
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
- Labeled sequent calculi for modal logics and implicit contractions
- scientific article; zbMATH DE number 4089526 (Why is no real title available?)
- scientific article; zbMATH DE number 1189095 (Why is no real title available?)
- Prefixed tableaus and nested sequents
- scientific article; zbMATH DE number 1267561 (Why is no real title available?)
- scientific article; zbMATH DE number 589742 (Why is no real title available?)
- scientific article; zbMATH DE number 2024627 (Why is no real title available?)
- scientific article; zbMATH DE number 1538059 (Why is no real title available?)
- A general framework for pattern-driven modal tableaux
- Free variable tableaux for propositional modal logics
- Hintikka multiplicities in matrix decision methods for some propositional modal logics
- Tableaux methods for access control in distributed systems
- A simple tableau system for the logic of elsewhere
- Building decision procedures for modal logics from propositional decision procedures -- the case study of modal K
- Tableaux and algorithms for Propositional Dynamic Logic with Converse
- Uniform and non uniform strategies for tableaux calculi for modal logics
- Hybrid tableaux for the difference modality
- A uniform tableaux method for nonmonotonic modal logics
- Tableau metatheorem for modal logics
- Labelled tableau calculi for weak modal logics
- Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
- First-order intensional logic
- Complexity through translations for modal logic with recursion
- Some analytic systems of rules
- Complexity results for modal logic with recursion via translations and tableaux
- Defining logical systems via algebraic constraints on proofs
- Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
This page was built for publication: Strongly analytic tableaux for normal modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5210808)
