Connexive Variants of Modal Logics Over FDE

DOI10.1007/978-3-030-71258-7_13MaRDI QIDQ5020173zbMATH OpenOpenAlexFDO

Authors Daniel Skurt, Heinrich Wansing, S. P. Odintsov

Publication date 4 January 2022

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-71258-7_13

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Disentangling \textsf{FDE}-based paraconsistent modal logics
• On definability of connectives and modal logics over \textbf{FDE}
• Modal Boolean connexive logics: semantics and tableau approach
• Connexive conditional logic. I
• Connexive modal logic based on positive S4

Cites work

• Algebraizable logics
• An introduction to non-classical logic. From if to is
• Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
• Connexive implication
• Connexive logics. An overview and current trends
• Connexive modal logic
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Four-valued modal logic: Kripke semantics and duality
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• Logic: a history of its central concepts
• Modal logics with Belnapian truth values
• Negation as cancellation, connexive logic, and qLPm
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• On definability of connectives and modal logics over \textbf{FDE}
• On the methodology of paraconsistent logic
• Proof systems for various \textsf{FDE}-based modal logics
• Reasoning with logical bilattices
• Some new thoughts on conditionals
• Theory of effective propositional paraconsistent logics
• Towards a bridge over two approaches in connexive logic

Cited in

(8)

• A general framework for FDE-based modal logics
• FDE as a Base for Constructive Logic
• Conditional \textbf{FDE} logics
• Proof systems for super-strict implication
• Non-normal super-strict implications
• Quantifiers in connexive logic (in general and in particular)
• Ten open problems in connexive logic
• Relevant semantics for connexive logics

This page was built for publication: Connexive Variants of Modal Logics Over FDE

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