Modal logics with Belnapian truth values
From MaRDI portal
Recommendations
- Four-valued modal logic: Kripke semantics and duality
- Belnap-Dunn modal logics: truth constants vs. truth values
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- Propositional dynamic logic with Belnapian truth values
- Classical negation and expansions of Belnap-Dunn logic
Cited in
(61)- Bilattice logic of epistemic actions and knowledge
- Relational semantics for normal topological quasi-Boolean logic
- An invitation to new essays on Belnap-Dunn logic
- Modelling sources of inconsistent information in paraconsistent modal logic
- A four-valued dynamic epistemic logic
- Dual-Belnap logic and anything but falsehood
- Implicative twist-structures
- Towards a bridge over two approaches in connexive logic
- Modal companions for the special extensions of Nelson's constructive logic
- Propositional dynamic logic with Belnapian truth values
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Implicit, explicit and speculative knowledge
- Combining swap structures: the case of paradefinite Ivlev-like modal logics based on FDE
- Product representation for default bilattices: an application of natural duality theory.
- Four-valued modal logic: Kripke semantics and duality
- On the quantified version of the Belnap-Dunn modal logic
- Relational semantics for the 4-valued relevant logics BN4 and E4
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Belnap-Dunn modal logic with value operators
- Knowledge and ignorance in Belnap-Dunn logic
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- Correspondence analysis for first degree entailment
- Proof systems for various \textsf{FDE}-based modal logics
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- A calculus for Belnap's logic in which each proof consists of two trees
- Kripke-completeness and sequent calculus for quasi-Boolean modal logic
- A general framework for FDE-based modal logics
- Belnap constants and Nelson logic
- Neighbourhood semantics for FDE-based modal logics
- Modal propositional truth logic Tr and its completeness
- Wanted dead or alive: epistemic logic for impure simplicial complexes
- On a multilattice analogue of a hypersequent S5 calculus
- From bi-facial truth to bi-facial proofs
- Tableaux with four signs as a unified framework
- Many-valued modalities and paraconsistency
- Hoop twist-structures
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
- Finite model property in normal extensions of Euclidean quasi-Boolean modal logics
- Paraconsistent modal logics
- On definability of connectives and modal logics over \textbf{FDE}
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- Belnap-Dunn modal logics: truth constants vs. truth values
- On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief
- Modal multilattice logic
- The lattice of Belnapian modal logics: special extensions and counterparts
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- Author's response to Wansing and Belnap's Generalized truth-values
- Kripke semantics for modal bilattice logic
- An infinity of super-Belnap logics
- Characterizing Belnap's Logic via De Morgan's Laws
- Weak Belnapian modal logic
- Modal bilattice logic and its extensions
- Fuzzy bi-Gödel modal logic and its paraconsistent relatives
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
- Another generalization of connexive logic C
- 40 years of FDE: an introductory overview
- A tableau system for quasi-hybrid logic
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Wanted dead or alive: epistemic logic for impure simplicial complexes
- Twist sequent calculi for S4 and its neighbors
- Connexive Variants of Modal Logics Over FDE
This page was built for publication: Modal logics with Belnapian truth values
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2901198)
