Situations from events to proofs 1 Introduction
Situations from events to proofs 1 Introduction
Situations from events to proofs 1 Introduction
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
[Per97] John Perry. Situation semantics. In Routledge Encyclopedia of Philosophy.<br />
London, Routledge, 1997.<br />
[Ran94] Aarne Ranta. Type-Theoretical Grammar. Oxford University Press,<br />
Oxford, 1994.<br />
[Rei47] Hans Reichenbach. Elements of Symbolic Logic. London, Macmillan,<br />
1947.<br />
[Ste00] Mark Steedman. The Productions of Time. Draft, ftp://ftp.cogsci.<br />
ed.ac.uk/pub/steedman/temporality/temporality.ps.gz, July 2000.<br />
Subsumes ‘Temporality,’ in J. van Benthem and A. ter Meulen, edi<strong>to</strong>rs,<br />
Handbook of Logic and Language, pages 895–935, Elsevier North<br />
Holland, 1997.<br />
20