Tableau Metatheorem for Modal Logics

DOI10.1007/978-3-319-06080-4_8zbMath1347.03043OpenAlexW1038024421MaRDI QIDQ5259659

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)

Related Items (4)

Tableau Systems for Epistemic Positional Logics ⋮ Tableaux for some deontic logics with the explicit permission operator ⋮ A Method of Defining Paraconsistent Tableaus ⋮ On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Tableau Metatheorem for Modal Logics