Standard Gödel modal logics

DOI10.1007/s11225-010-9230-1zbMath1266.03030MaRDI 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 completeness; Gödel-Dummett logic; fuzzy Kripke semantics; many-valued modal logics

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B45: Modal logic (including the logic of norms)

03B50: Many-valued logic

Related Items

Unnamed Item, Fuzzy intensional semantics, From Kripke to Neighborhood Semantics for Modal Fuzzy Logics, Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic, Introduction, Propositional dynamic logic for searching games with errors, Extending possibilistic logic over Gödel logic, On the relationship between fuzzy description logics and many-valued modal logics, Expressivity in chain-based modal logics, Neighborhood semantics for modal many-valued logics, Logical characterizations of regular equivalence in weighted social networks, Axiomatization of crisp Gödel modal logic, On transitive modal many-valued logics, A note on strong axiomatization of Gödel justification logic, Extending maps to profinite completions in finitely generated quasivarieties, Fuzzy relational modalities admitting truth-valueless propositions, MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions, Toward a general frame semantics for modal many-valued logics, Decidability of order-based modal logics, A logical framework for privacy-preserving social network publication, Monotone operators on Gödel logic, Graded epistemic logic with public announcement

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