From Kripke to neighborhood semantics for modal fuzzy logics

DOI10.1007/978-3-319-40581-0_9zbMATH Open1455.03028OpenAlexW2492922778MaRDI QIDQ5117202FDOQ5117202

Authors: Carles Noguera, Jonas Rogger, Petr Cintula 

Publication date: 20 August 2020

Published in: Information Processing and Management of Uncertainty in Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40581-0_9

Recommendations

• Neighborhood semantics for modal many-valued logics
• On standard models of fuzzy modal logics
• Fuzzy logics with modalities
• On fuzzy modal logics \(S5(\mathcal C)\)
• On modal extensions of product fuzzy logic

zbMATH Keywords

extensionality axiomHilbert-style calculusfuzzy logic moduleprincipal semanticssemantic neighborhood

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Fuzzy logic; logic of vagueness (03B52)

Cites Work

• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• A proof of standard completeness for Esteva and Godo's logic MTL
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Algebraizable logics
• Title not available (Why is that?)
• Handbook of mathematical fuzzy logic. Volume 2
• Title not available (Why is that?)
• Universal grammar
• Fuzzy class theory
• Title not available (Why is that?)
• Standard Gödel modal logics
• Decidability of order-based modal logics
• A Hennessy-Milner property for many-valued modal logics
• Modal extensions of Łukasiewicz logic for modelling coalitional power

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Neighbourhood semantics for FDE-based modal logics
• Neighborhood semantics for modal many-valued logics
• Title not available (Why is that?)

This page was built for publication: From Kripke to neighborhood semantics for modal fuzzy logics

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