Inference and update

DOI10.1007/S11229-009-9556-2zbMath1183.03014OpenAlexW2100089187MaRDI 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

inferenceepistemic logicdynamic epistemic logicupdate

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (13)

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Inference and update