Modal Boolean Connexive Logics: Semantics and Tableau Approach
From MaRDI portal
Publication:5126195
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
possible worlds semanticsmodal logicstableau methodsnormal modal logicsrelatednessconnexive logicBoolean connexive logicsrelating logicrelating semanticsmodal Boolean connexive logics
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
This page was built for publication: Modal Boolean Connexive Logics: Semantics and Tableau Approach