Neighbourhood semantics for FDE-based modal logics
type: Item
instance of: scholarly article
title: Neighbourhood semantics for FDE-based modal logics
author: Sergey Drobyshevich
author: Daniel Skurt
published in: Studia Logica
publication date: 2021-12-27T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7450672
zbMATH Keywords: FDE
zbMATH Keywords: modal logic
zbMATH Keywords: many-valued logic
zbMATH Keywords: neighbourhood semantics
zbMATH Keywords: correspondence theory
MaRDI profile type: Publication
full work available at URL: s11225-021-09948-z
OpenAlex ID: W3159231229
cites work: Constructible falsity and inexact predicates
cites work: Reasoning with logical bilattices
cites work: The value of the four values
cites work: Q3858244
cites work: Algebraizable logics
cites work: Q3867808
cites work: From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
cites work: Neighborhood semantics for modal many-valued logics
cites work: Toward a general frame semantics for modal many-valued logics
cites work: Q5224565
cites work: A general framework for FDE-based modal logics
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Belief, awareness, and limited reasoning
cites work: Q3989936
cites work: Q4022223
cites work: Q5474628
cites work: On fuzzy modal logics \(S5(\mathcal C)\)
cites work: Priestley duality for bilattices
cites work: Kripke Semantics for Modal Bilattice Logic
cites work: On extensions of intermediate logics by strong negation
cites work: A deterministic weakening of Belnap-Dunn logic
cites work: Countably many weakenings of Belnap-Dunn logic
cites work: Universal grammar
cites work: Constructible falsity
cites work: The class of extensions of Nelson's paraconsistent logic
cites work: Constructive negations and paraconsistency
cites work: Combining intuitionistic connectives and Routley negation
cites work: \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
cites work: On Definability of Connectives and Modal Logics over FDE
cites work: The lattice of Belnapian modal logics: Special extensions and counterparts
cites work: BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
cites work: Q2901198
cites work: Disentangling \textsf{FDE}-based paraconsistent modal logics
cites work: 40 years of FDE: an introductory overview
cites work: Many-Valued Modal Propositional Calculi
cites work: Neighborhood semantics for modal logic
cites work: Four-valued modal logic: Kripke semantics and duality
cites work: Q4047529
cites work: Some Modal Logics based on a Three‐valued Logic
cites work: On Belnapian modal algebras: representations, homomorphisms, congruences, and so on
cites work: Possible worlds and many truth values
DOI: 10.1007/S11225-021-09948-Z
description: scientific article; zbMATH DE number 7450672