On the quantified version of the Belnap-Dunn modal logic

DOI10.4213/sm9981eMaRDI QIDQ6582282

Alexander V. Grefenshtein, Stanislav O. Speranski

Publication date: 2 August 2024

Published in: Sbornik: Mathematics (Search for Journal in Brave)

zbMATH Keywords

quantificationmodal logicconstructive logicstrong negationpossible world semantics

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• Quantification in nonclassical logic. Volume I.
• Constructive negations and paraconsistency
• Constructivism in mathematics. An introduction. Volume I
• Intuitionistic logic with strong negation
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Modal bilattice logic and its extensions
• The lattice of Belnapian modal logics: Special extensions and counterparts
• Constructible falsity and inexact predicates
• BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
• An expansion of first-order Belnap-Dunn logic
• Constructible falsity
• Recursive Functions and Intuitionistic Number Theory
• On the interpretation of intuitionistic number theory

This page was built for publication: On the quantified version of the Belnap-Dunn modal logic