On the quantified version of the Belnap-Dunn modal logic

DOI10.4213/SM9981EMaRDI QIDQ6582282zbMATH OpenFDO

Authors Alexander V. Grefenshtein, S. O. Speranskij

Publication date 2 August 2024

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

zbMATH Keywords

quantificationconstructive logicmodal 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

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 2070200 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• An expansion of first-order Belnap-Dunn logic
• Belnap-Dunn modal logics: truth constants vs. truth values
• Constructible falsity
• Constructible falsity and inexact predicates
• Constructive negations and paraconsistency
• Constructivism in mathematics. An introduction. Volume I
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Intuitionistic logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Modal bilattice logic and its extensions
• Modal logics with Belnapian truth values
• On the interpretation of intuitionistic number theory
• Quantification in nonclassical logic. Volume I.
• Recursive Functions and Intuitionistic Number Theory
• The lattice of Belnapian modal logics: special extensions and counterparts
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6582282)