On the relationship between fuzzy description logics and many-valued modal logics

DOI10.1016/j.ijar.2017.11.006zbMath1452.68182OpenAlexW2770721991MaRDI QIDQ1726404

Francesc Esteva, Àngel García-Cerdaña, Marco Cerami

Publication date: 20 February 2019

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2017.11.006

zbMATH Keywords

mathematical fuzzy logicfuzzy description logicsmany-valued modal logicsfuzzy predicate logicsattributive description languages

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Many-valued logic (03B50)

Related Items

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ On transitive modal many-valued logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On finitely-valued fuzzy description logics
• Strict core fuzzy logics and quasi-witnessed models
• Provability in predicate product logic
• Fuzzy description logics under Gödel semantics
• Standard Gödel modal logics
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Triangular norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Extending maps to profinite completions in finitely generated quasivarieties
• Making fuzzy description logic more general
• Characterisation of main classes of fuzzy relations using fuzzy modal operators
• Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
• The limits of decidability in fuzzy description logics with general concept inclusions
• On the relative expressiveness of description logics and predicate logics
• A Finite Model Property for Gödel Modal Logics
• Hybrid Logics and Ontology Languages
• How Fuzzy Is My Fuzzy Description Logic?
• On modal extensions of Product fuzzy logic
• Towards a Proof Theory of G\"odel Modal Logics
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• On Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case
• On Fuzzy Logic I Many‐valued rules of inference
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• On a class of operators for expert systems

This page was built for publication: On the relationship between fuzzy description logics and many-valued modal logics