Connexive Variants of Modal Logics Over FDE

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

Daniel Skurt, Heinrich Wansing, Sergei 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)

Related Items (1)

Proof systems for super-strict implication

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic: a history of its central concepts
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Reasoning with logical bilattices
• Some new thoughts on conditionals
• Four-valued modal logic: Kripke semantics and duality
• Negation as Cancellation, Connexive Logic, and qLPm
• Connexive logics. An overview and current trends
• Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality
• Towards a bridge over two approaches in connexive logic
• On Definability of Connectives and Modal Logics over FDE
• PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS
• Algebraizable logics
• ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
• On the Methodology of Paraconsistent Logic
• Connexive implication

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