From Kripke to neighborhood semantics for modal fuzzy logics

DOI10.1007/978-3-319-40581-0_9MaRDI QIDQ5117202zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

extensionality axiomfuzzy logic moduleHilbert-style calculusprincipal semanticssemantic neighborhood

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(5)

• Neighborhood semantics for modal many-valued logics
• Neighbourhood semantics for FDE-based modal logics
• scientific article; zbMATH DE number 7559483 (Why is no real title available?)
• Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
• scientific article; zbMATH DE number 7536428 (Why is no real title available?)

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)