Inference and update

DOI10.1007/s11229-009-9556-2zbMath1183.03014MaRDI QIDQ1036064

Fernando Raymundo Velázquez-Quesada

Publication date: 4 November 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-009-9556-2

zbMATH Keywords

inference; epistemic logic; dynamic epistemic logic; update

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

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

Related Items

DYNAMIC HYPERINTENSIONAL BELIEF REVISION, Multi-agent justification logic: communication and evidence elimination, Syntactic awareness in logical dynamics, The interrogative model of inquiry meets dynamic epistemic logics, The dynamics of awareness, Dynamic logics of knowledge and access, Dynamic logics of evidence-based beliefs, Toward a dynamic logic of questions, Dynamic epistemic logic for implicit and explicit beliefs, Awareness as potential for knowledge, Logics of Rational Interaction, Logical Dynamics of Evidence, A Dynamic Logic of Interrogative Inquiry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic and reasoning: do the facts matter?
• Belief, awareness, and limited reasoning
• Epistemology Without Knowledge and Without Belief
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Dynamic Logics for Explicit and Implicit Information
• Epistemic logic and logical omniscience: A survey
• Reasoning about rational, but not logically omniscient, agents