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

Propositional dynamic logic for searching games with errors, Extending possibilistic logic over Gödel logic, Logical characterizations of regular equivalence in weighted social networks, Extending maps to profinite completions in finitely generated quasivarieties, A logical framework for privacy-preserving social network publication, Monotone operators on Gödel 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