A Simple Modal Logic for Reasoning about Revealed Beliefs

DOI10.1007/978-3-642-02906-6_69zbMath1245.03019OpenAlexW1603907727MaRDI QIDQ3638200

Dubois, Didier, Mohua Banerjee

Publication date: 2 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02906-6_69

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (25)

Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ Three-Valued Logics for Incomplete Information and Epistemic Logic ⋮ Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic ⋮ Typology of axioms for a weighted modal logic ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ On the relation between possibilistic logic and modal logics of belief and knowledge ⋮ On Possibilistic Modal Logics Defined Over MTL-Chains ⋮ Characterizing and extending answer set semantics using possibility theory ⋮ An elementary belief function logic ⋮ A quantitative approach to reasoning about incomplete knowledge ⋮ Gradualness, uncertainty and bipolarity: making sense of fuzzy sets ⋮ Negation of Graded Beliefs ⋮ Relevance and truthfulness in information correction and fusion ⋮ An analytic tableau calculus for a temporalised belief logic ⋮ Borderline vs. unknown: comparing three-valued representations of imperfect information ⋮ A map of dependencies among three-valued logics ⋮ Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees ⋮ Possibilistic Evidence ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ Preserving confidentiality while reacting on iterated queries and belief revisions ⋮ An internal version of epistemic logic ⋮ From Possibility Theory to Paraconsistency ⋮ Representing qualitative capacities as families of possibility measures ⋮ Fuzzy autoepistemic logic and its relation to fuzzy answer set programming ⋮ A simple logic for reasoning about incomplete knowledge

Cites Work

• Possibilistic logic: a retrospective and prospective view
• Semantical considerations on nonmonotonic logic
• Metamathematics of fuzzy logic
• Knowledge-driven versus data-driven logics
• Axiomatizing collective judgment sets in a minimal logical language
• On Ignorance and Contradiction Considered as Truth-Values
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Simple Modal Logic for Reasoning about Revealed Beliefs