Scholarlink

We show how techniques from Belief Revision Theory and Dynamic Epistemic Logic can solve the Surprise Examination Paradox. Our solution is based on formalizing the role played by the attitude of the Student towards the Teacher as a source of information.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

How to Avoid Unexpected Exams

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Alexandru Baltag,
  • Sonja Smets

摘要

We show how techniques from Belief Revision Theory and Dynamic Epistemic Logic can solve the Surprise Examination Paradox. Our solution is based on formalizing the role played by the attitude of the Student towards the Teacher as a source of information.