Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic

@inproceedings{Holliday2018KnowledgeTA,
  title={Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic},
  author={W. Holliday},
  year={2018}
}
Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability, and related epistemic phenomena, such as what Hintikka called the “anti-performatory effect” of… Expand
1 Citations

Figures from this paper

Title Simplifying the Surprise Exam Permalink

References

SHOWING 1-10 OF 52 REFERENCES
The Surprise Examination in Dynamic Epistemic Logic
  • 40
  • Highly Influential
  • PDF
Connecting dynamic epistemic and temporal epistemic logics
  • 14
  • PDF
Schematic Validity in Dynamic Epistemic Logic: Decidability
  • 16
  • PDF
Information dynamics and uniform substitution
  • 10
  • PDF
Dynamic Epistemic Logic II: Logics of Information Change
  • 12
  • PDF
A Uniform Logic of Information Dynamics
  • 11
  • PDF
Dynamic epistemic logic in update logic
  • 50
  • PDF
Dynamic Epistemic Temporal Logic
  • 28
  • PDF
The Surprise Examination Paradox in Dynamic Epistemic Logic
  • 2
  • PDF
Dynamic epistemic logic with branching temporal structures
  • 32
...
1
2
3
4
5
...