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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS
• Connexive implication
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Title not available (Why is that?)
• 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 FDE
• Connexive logics. An overview and current trends
• ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC 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)