The surprise examination in dynamic epistemic logic

DOI10.1007/s11229-005-2211-7zbMath1121.03011OpenAlexW2165546630MaRDI QIDQ885519

Jelle Gerbrandy

Publication date: 14 June 2007

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-005-2211-7

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items (7)

Logics of Rational Interaction ⋮ Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic ⋮ ARROW UPDATE LOGIC ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS ⋮ Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision ⋮ Introspection as an action in relational models

Cites Work

• The secret of my success
• A paradox regained
• To give a surprise exam, use game theory
• Reasoning about information change
• Defaults in update semantics
• Logics for epistemic programs
• On the logic of theory change: Partial meet contraction and revision functions
• The Surprise Examination or Unexpected Hanging Paradox

This page was built for publication: The surprise examination in dynamic epistemic logic