On fuzzy modal logics \(S5(\mathcal C)\)

DOI10.1016/j.fss.2009.11.011zbMath1210.03020OpenAlexW1545911618MaRDI QIDQ622028

Petr Hájek

Publication date: 31 January 2011

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

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

zbMATH Keywords

fuzzy logicmodal logiccompletenessKripke modelS5

Mathematics Subject Classification ID

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

Related Items

On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief ⋮ One-variable fragments of intermediate logics over linear frames ⋮ On Possibilistic Modal Logics Defined Over MTL-Chains ⋮ Frame definability in finitely valued modal logics ⋮ On K-modal BL-logics ⋮ Towards a unified view on logics for uncertainty ⋮ Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic ⋮ A graded semantics for counterfactuals ⋮ Logics for belief functions on MV-algebras ⋮ Unnamed Item ⋮ Introduction ⋮ Populational announcement logic (PPAL) ⋮ Fuzzy relational modalities admitting truth-valueless propositions ⋮ A unified approach to four important classes of unary operators ⋮ Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees ⋮ Fuzzy intensional semantics ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Axiomatization of crisp Gödel modal logic ⋮ On a strong negation-based representation of modalities ⋮ Completeness for monadic fuzzy logics via functional algebras ⋮ Neighborhood semantics for modal many-valued logics ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ Toward a general frame semantics for modal many-valued logics ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax} ⋮ Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On vagueness, truth values and fuzzy logics
• Metamathematics of fuzzy logic
• Monadic fuzzy predicate logics
• A modal account of similarity-based reasoning
• Triangular norm based predicate fuzzy logics
• Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
• ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION
• On theories and models in fuzzy predicate logics
• On witnessed models in fuzzy logic
• Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
• Many-Valued Modal Propositional Calculi
• Combining Supervaluation and Degree Based Reasoning Under Vagueness
• On witnessed models in fuzzy logic II
• Some Modal Logics based on a Three‐valued Logic
• A non-arithmetical Gödel logic