Modal Boolean Connexive Logics: Semantics and Tableau Approach

DOI10.18778/0138-0680.48.3.05zbMath1446.03043OpenAlexW3001657851MaRDI QIDQ5126195

Jacek Malinowski, Tomasz Jarmużek

Publication date: 15 October 2020

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.48.3.05

zbMATH Keywords

possible worlds semanticsmodal logicstableau methodsnormal modal logicsrelatednessconnexive logicBoolean connexive logicsrelating logicrelating semanticsmodal Boolean connexive logics

Mathematics Subject Classification ID

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

Related Items

Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems ⋮ History of Relating Logic. The Origin and Research Directions ⋮ Relating Semantics for Epistemic Logic ⋮ Incorporating the Relation into the Language? ⋮ Tableaux for logics of content relationship and set-assignment semantics ⋮ Boolean connexive logic and content relationship ⋮ Situation-based connexive logic ⋮ Connexive negation ⋮ Axiomatization of some basic and modal Boolean connexive logics ⋮ On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach

Cites Work

• Unnamed Item
• Unnamed Item
• Logic: a history of its central concepts
• Boolean Connexive Logics: Semantics and tableau approach
• Towards a bridge over two approaches in connexive logic
• Bayesian Propositional Logic

This page was built for publication: Modal Boolean Connexive Logics: Semantics and Tableau Approach