Tableau metatheorem for modal logics

DOI10.1007/978-3-319-06080-4_8MaRDI QIDQ5259659zbMATH OpenOpenAlexFDO

Authors Tomasz Jarmużek

Publication date 29 June 2015

Published in Recent Trends in Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06080-4_8

zbMATH Keywords

branchtableau rulesopen branchclosed branchclosed tableaumaximal branchopen tableaupossible world's semanticstableau metatheorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• TABLEAUX: A general theorem prover for modal logics
• Publication:4893142
• Strongly analytic tableaux for normal modal logics
• Modal tableaux: completeness vs. termination
• Terminating modal tableaux with simple completeness proof

Cites work

• Tableau methods for modal and temporal logics
• Tableau system for logic of categorial propositions and decidability

Cited in

(14)

• scientific article; zbMATH DE number 922622 (Why is no real title available?)
• Tableaux for some modal-tense logics Graham Priest's fashion
• Tableau Systems for Epistemic Positional Logics
• Tableaus with invertible rules for many-valued modal propositional logics
• Tableaux for some deontic logics with the explicit permission operator
• Tableau metatheory for syllogistic logics
• scientific article; zbMATH DE number 3997757 (Why is no real title available?)
• Modal metatheory for quantified modal logic, with and without the Barcan formulas
• A method of defining paraconsistent tableaus
• Pure modal logic of names and tableau systems
• scientific article; zbMATH DE number 1775472 (Why is no real title available?)
• Analytic tableaux for positive logic free from ``paradoxes of material implication
• Tableau methods for modal and temporal logics
• On logic of strictly-deontic modalities. A semantic and tableau approach

This page was built for publication: Tableau metatheorem for modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5259659)