Axiomatization of some basic and modal Boolean connexive logics

DOI10.1007/s11787-021-00291-4OpenAlexW3214357366MaRDI QIDQ2070430

Mateusz Klonowski

Publication date: 24 January 2022

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-021-00291-4

zbMATH Keywords

possible-worlds semanticsmodalitiesaxiomatic systemsAristotle's lawsBoethius' lawsBoolean connexive logicsrelating logicrelating semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Models with special properties (saturated, rigid, etc.) (03C50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other model constructions (03C30) Proof theory and constructive mathematics (03F99)

Related Items (6)

Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems ⋮ History of Relating Logic. The Origin and Research Directions ⋮ Incorporating the Relation into the Language? ⋮ Boolean connexive logic and content relationship ⋮ Situation-based connexive logic ⋮ Connexive negation

Cites Work

• Logic: a history of its central concepts
• Relating semantics as fine-grained semantics for intensional logics
• Some intensional logics defined by relating semantics and tableau systems
• Relating semantics for connexive logic
• Connexive logics. An overview and current trends
• Boolean Connexive Logics: Semantics and tableau approach
• On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach
• Modal Boolean Connexive Logics: Semantics and Tableau Approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Axiomatization of some basic and modal Boolean connexive logics