Tableau metatheorem for modal logics

DOI10.1007/978-3-319-06080-4_8zbMATH Open1347.03043OpenAlexW1038024421MaRDI QIDQ5259659FDOQ5259659

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

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

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)

Cites Work

• Tableau methods for modal and temporal logics
• Title not available (Why is that?)

Cited In (13)

• Tableaus with invertible rules for many-valued modal propositional logics
• A Method of Defining Paraconsistent Tableaus
• Analytic tableaux for positive logic free from ``paradoxes of material implication
• Tableau Systems for Epistemic Positional Logics
• On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach
• Pure modal logic of names and tableau systems
• Title not available (Why is that?)
• Tableaux for some modal-tense logics Graham Priest's fashion
• Tableaux for some deontic logics with the explicit permission operator
• Title not available (Why is that?)
• Modal metatheory for quantified modal logic, with and without the Barcan formulas
• Title not available (Why is that?)
• Tableau methods for modal and temporal logics

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)