On the quantified version of the Belnap-Dunn modal logic

DOI10.4213/SM9981EMaRDI QIDQ6582282FDOQ6582282

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

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

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)