Search this site
Wesley H. Holliday
  • About
  • Research
    • Social Choice
    • Mathematics
      • Lattices
      • Sets
      • Intuitionistic Logic
    • Modality
      • Possibility Semantics for Modal Logic
      • Modal Logic
      • Propositional Quantifiers
      • Inquisitive Logic
    • Language
    • Knowledge
      • Epistemic Logic
      • Multipath Picture of Knowledge
      • Dynamic Epistemic Logic
      • Epistemic Paradox
      • Quantified Epistemic Logic
    • Probability
    • Action
  • Students
Wesley H. Holliday

Dynamic Epistemic Logic

Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic

2018. Outstanding Contributions to Logic: Jaakko Hintikka on Knowledge and Game Theoretical Semantics.


Indicative Conditionals and Dynamics Epistemic Logic

with Thomas Icard

2017. Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XVI).


Information Dynamics and Uniform Substitution 

with Tomohiro Hoshi and Thomas Icard

2013.  Synthese. Publisher’s version. 

(Supersedes Schematic Validity in Dynamic Epistemic Logic: Decidability, 2011, Lecture Notes in Artificial Intelligence.)


A Uniform Logic of Information Dynamics 

with Tomohiro Hoshi and Thomas Icard

2012. Advances in Modal Logic, Vol. 9. Publisher’s version.


Moorean Phenomena in Epistemic Logic 

with Thomas Icard

2010. Advances in Modal Logic, Vol. 8. Publisher’s version.

Report abuse
Page details
Page updated
Google Sites
Report abuse