Neighbourhood semantics for FDE-based modal logics
From MaRDI portal
Publication:2062194
DOI10.1007/s11225-021-09948-zOpenAlexW3159231229MaRDI QIDQ2062194
Sergey Drobyshevich, Daniel Skurt
Publication date: 27 December 2021
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-021-09948-z
Cites Work
- Unnamed Item
- 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
- On fuzzy modal logics \(S5(\mathcal C)\)
- The class of extensions of Nelson's paraconsistent logic
- Combining intuitionistic connectives and Routley negation
- On Belnapian modal algebras: representations, homomorphisms, congruences, and so on
- Constructive negations and paraconsistency
- Belief, awareness, and limited reasoning
- Possible worlds and many truth values
- The value of the four values
- On extensions of intermediate logics by strong negation
- 40 years of FDE: an introductory overview
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Neighborhood semantics for modal many-valued logics
- Reasoning with logical bilattices
- A general framework for FDE-based modal logics
- Countably many weakenings of Belnap-Dunn logic
- Toward a general frame semantics for modal many-valued logics
- Neighborhood semantics for modal logic
- A deterministic weakening of Belnap-Dunn logic
- Four-valued modal logic: Kripke semantics and duality
- The lattice of Belnapian modal logics: Special extensions and counterparts
- On Definability of Connectives and Modal Logics over FDE
- Constructible falsity and inexact predicates
- Many-Valued Modal Propositional Calculi
- Algebraizable logics
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
- From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
- Kripke Semantics for Modal Bilattice Logic
- Some Modal Logics based on a Three‐valued Logic
- Universal grammar
- Constructible falsity
This page was built for publication: Neighbourhood semantics for FDE-based modal logics
