Connexive Variants of Modal Logics Over FDE

DOI10.1007/978-3-030-71258-7_13OpenAlexW3187663745MaRDI QIDQ5020173FDOQ5020173

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• FDE as a Base for Constructive Logic
• A general framework for FDE-based modal logics
• Non-normal super-strict implications
• Proof systems for super-strict implication

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)