Modal Boolean connexive logics: semantics and tableau approach

DOI10.18778/0138-0680.48.3.05MaRDI QIDQ5126195zbMATH OpenOpenAlexFDO

Authors Tomasz Jarmużek, Jacek Malinowski

Publication date 15 October 2020

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

Boolean connexive logicsconnexive logicmodal Boolean connexive logicsmodal logicsnormal modal logicspossible worlds semanticsrelatednessrelating logicrelating semanticstableau methods

Mathematics Subject Classification ID

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

Recommendations

• Boolean connexive logics: semantics and tableau approach
• Connexive modal logic
• Connexive conditional logic. I
• Towards a bridge over two approaches in connexive logic
• A poly-connexive logic

Cites work

• Bayesian propositional logic
• Boolean connexive logics: semantics and tableau approach
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 6316278 (Why is no real title available?)
• Logic: a history of its central concepts
• Towards a bridge over two approaches in connexive logic

Cited in

(22)

• The semantic characterization of modal logical connectives
• Axiomatization of some basic and modal Boolean connexive logics
• Tableaux for logics of content relationship and set-assignment semantics
• Expressive power and semantic completeness: Boolean connectives in modal logic
• Boolean connexive logics: semantics and tableau approach
• Towards a bridge over two approaches in connexive logic
• Connexive conditional logic. I
• scientific article; zbMATH DE number 3997757 (Why is no real title available?)
• Connexive modal logic based on positive S4
• On logic of strictly-deontic modalities. A semantic and tableau approach
• Connexive Variants of Modal Logics Over FDE
• 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? A survey of approaches in relating logic
• Connexive modal logic
• Boolean connexive logic and content relationship
• Situation-based connexive logic
• Connexive negation
• Axiomatization of Boolean connexive logics with syncategorematic negation and modalities
• Connexive logic: new old challenges
• A variety of connexive logics in the light of relating semantics

This page was built for publication: Modal Boolean connexive logics: semantics and tableau approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5126195)