Dynamic Measure Logic
Tamar Lando (Philosophy, Berkeley)
January 24 2012, 4:10 – 6:00 PM
716 Philosophy Hall, Columbia University
Full paper here.
Tag: S4
Hintikka on S4 vs. S5
See sections 3.7-3.9 of Knowledge and Belief for the sorts of arguments that Haim briefly discussed last meeting.