Neighborhood semantics for modal many-valued logics

DOI10.1016/J.FSS.2017.10.009MaRDI QIDQ1795204zbMATH OpenOpenAlexFDO

Authors Petr Cintula, Carles Noguera

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

many-valued logicsKripke semanticsmathematical fuzzy logicneighborhood framesmodal fuzzy logics

Mathematics Subject Classification ID

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

Recommendations

• Toward a general frame semantics for modal many-valued logics
• From Kripke to neighborhood semantics for modal fuzzy logics
• scientific article; zbMATH DE number 35414
• Many-valued and Kripke semantics
• Neighborhood semantics for modal logic

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• A Hennessy-Milner property for many-valued modal logics
• A proof of standard completeness for Esteva and Godo's logic MTL
• Abstract algebraic logic. An introductory textbook
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Decidability of order-based modal logics
• Exploring a syntactic notion of modal many-valued logics
• Fuzzy class theory
• Fuzzy logics as the logics of chains
• Handbook of mathematical fuzzy logic. Volume 1
• Implicational (semilinear) logics. I: A new hierarchy
• Implicational (semilinear) logics. III: Completeness properties
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On fuzzy modal logics \(S5(\mathcal C)\)
• On modal extensions of product fuzzy logic
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Philosophical problems in logic. Some recent developments
• Protoalgebraic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Standard Gödel modal logics
• Towards a proof theory of Gödel modal logics
• Universal grammar

Cited in

(12)

• scientific article; zbMATH DE number 6130978 (Why is no real title available?)
• scientific article; zbMATH DE number 1215462 (Why is no real title available?)
• Fuzzy intensional semantics
• Neighborhood Semantics for Basic and Intuitionistic Logic
• Many-valued coalgebraic modal logic: one-step completeness and finite model property
• NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS
• Neighbourhood semantics for FDE-based modal logics
• scientific article; zbMATH DE number 6868325 (Why is no real title available?)
• From Kripke to neighborhood semantics for modal fuzzy logics
• Toward a general frame semantics for modal many-valued logics
• Many-valued and Kripke semantics
• On consistent functions for neighborhood systems

This page was built for publication: Neighborhood semantics for modal many-valued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1795204)