A Simple Modal Logic for Reasoning about Revealed Beliefs

DOI10.1007/978-3-642-02906-6_69zbMath1245.03019MaRDI 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

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

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

Related Items

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, Characterizing and extending answer set semantics using possibility theory, Negation of Graded Beliefs, From Possibility Theory to Paraconsistency, An elementary belief function logic, Gradualness, uncertainty and bipolarity: making sense of fuzzy sets, 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, An internal version of epistemic logic, Typology of axioms for a weighted modal logic, A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information, A quantitative approach to reasoning about incomplete knowledge, Preserving confidentiality while reacting on iterated queries and belief revisions, 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, Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic, Three-Valued Logics for Incomplete Information and Epistemic Logic, On Possibilistic Modal Logics Defined Over MTL-Chains, Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees, Possibilistic Evidence

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