Disentangling \textsf{FDE}-based paraconsistent modal logics

DOI10.1007/s11225-017-9753-9zbMath1417.03160OpenAlexW2758805975MaRDI QIDQ1685570

Heinrich Wansing, Sergei P. Odintsov

Publication date: 14 December 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9753-9

zbMATH Keywords

standard translationtableau calculiparaconsistent logicstrong negationdefinitional equivalenceBelnap-Dunn modal logicfirst-degree entailment logicmodal bilattice logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

Routley star and hyperintensionality, Modal bilattice logic and its extensions, Tarskian consequence relations bilaterally: some familiar notions, BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES, Relation-changing models meet paraconsistency, An Invitation to New Essays on Belnap-Dunn Logic, Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic, Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation, Modal extension of ideal paraconsistent four-valued logic and its subsystem, Non-distributive relatives of ETL and NFL, A general framework for FDE-based modal logics, Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic, Towards a bridge over two approaches in connexive logic, On Definability of Connectives and Modal Logics over FDE, On a multilattice analogue of a hypersequent S5 calculus, PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS, Neighbourhood semantics for FDE-based modal logics, Cut-free sequent calculus and natural deduction for the tetravalent modal logic, Connexive Variants of Modal Logics Over FDE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• Priestley duality for bilattices
• Fregean logics
• The class of extensions of Nelson's paraconsistent logic
• Constructive negations and paraconsistency
• Constructive logic with strong negation is a substructural logic. II
• Where gamma fails
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Tools and techniques in modal logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Paraconsistent Modal Logics
• Four-valued modal logic: Kripke semantics and duality
• The lattice of Belnapian modal logics: Special extensions and counterparts
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Constructible falsity and inexact predicates
• An expansion of first-order Belnap-Dunn logic
• Kripke Semantics for Modal Bilattice Logic
• Inconsistency Tolerance