Standard Gödel modal logics

DOI10.1007/s11225-010-9230-1zbMath1266.03030OpenAlexW2023812928MaRDI QIDQ965908

Xavier Caicedo, Ricardo Oscar Rodríguez

Publication date: 26 April 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9230-1

zbMATH Keywords

strong completenessGödel-Dummett logicfuzzy Kripke semanticsmany-valued modal logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items

Decidability of order-based modal logics ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions ⋮ Graded epistemic logic with public announcement ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Extending possibilistic logic over Gödel logic ⋮ A note on strong axiomatization of Gödel justification logic ⋮ From Kripke to Neighborhood Semantics for Modal Fuzzy Logics ⋮ Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Introduction ⋮ A logical framework for privacy-preserving social network publication ⋮ Fuzzy relational modalities admitting truth-valueless propositions ⋮ Monotone operators on Gödel logic ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Propositional dynamic logic for searching games with errors ⋮ Expressivity in chain-based modal logics ⋮ Fuzzy intensional semantics ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Axiomatization of crisp Gödel modal logic ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ On transitive modal many-valued logics ⋮ Neighborhood semantics for modal many-valued logics ⋮ Unnamed Item ⋮ Toward a general frame semantics for modal many-valued logics ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax} ⋮ Paraconsistent Gödel modal logic

Cites Work

• Modality and possibility in some intuitionistic modal logics
• On some intuitionistic modal logics
• Metamathematics of fuzzy logic
• Superintuitionistic companions of classical modal logics
• First-order Gödel logics
• Making fuzzy description logic more general
• Proof Systems for a Gödel Modal Logic
• On Fuzzy Logic I Many‐valued rules of inference
• Logic with truth values in A linearly ordered heyting algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item