Article

Synthese

, Volume 155, Issue 1, pp 21-33

The Surprise Examination in Dynamic Epistemic Logic

  • J. GerbrandyAffiliated withDipartimento di Informatica, University of Turin Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We examine the paradox of the surprise examination using dynamic epistemic logic. This logic contains means of expressing epistemic facts as well as the effects of learning new facts, and is therefore a natural framework for representing the puzzle. We discuss a number of different interpretations of the puzzle in this context, and show how the failure of principle of success, that states that sentences, when learned, remain to be true and come to be believed, plays a central role in understanding the puzzle.