Neighborhood semantics for modal many-valued logics

DOI10.1016/j.fss.2017.10.009zbMath1397.03027OpenAlexW2766759918MaRDI QIDQ1795204

Carles Noguera, Petr Cintula

Publication date: 16 October 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2017.10.009

zbMATH Keywords

Kripke semanticsmany-valued logicsmathematical fuzzy logicneighborhood framesmodal fuzzy logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items

On consistent functions for neighborhood systems, Fuzzy intensional semantics, Neighbourhood semantics for FDE-based modal logics, Toward a general frame semantics for modal many-valued logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On fuzzy modal logics \(S5(\mathcal C)\)
• Residuated lattices. An algebraic glimpse at substructural logics
• Standard Gödel modal logics
• Implicational (semilinear) logics. I: A new hierarchy
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Implicational (semilinear) logics. III: Completeness properties
• Extending maps to profinite completions in finitely generated quasivarieties
• Decidability of order-based modal logics
• Fuzzy class theory
• Fuzzy logics as the logics of chains
• Philosophical problems in logic. Some recent developments
• On modal extensions of Product fuzzy logic
• Towards a Proof Theory of G\"odel Modal Logics
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Bi-modal Godel logic over [0,1-valued Kripke frames]
• Universal grammar
• Protoalgebraic logics