| Publication | Date of Publication | Type |
|---|
| Finite-state descriptions for temporal semantics | 2024-05-30 | Paper |
| Segmenting temporal intervals for tense and aspect | 2017-12-18 | Paper |
Prior and temporal sequences for natural language
Synthese | 2017-03-14 | Paper |
Types from Frames as Finite Automata
Formal Grammar | 2016-12-01 | Paper |
Between the event calculus and finite state temporality
Formal Grammar | 2016-12-01 | Paper |
Situations as Strings
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Steedman's temporality proposal and finite automata
Logic, Language and Meaning | 2012-11-01 | Paper |
Constructing situations and time
Journal of Philosophical Logic | 2011-06-17 | Paper |
Temporal propositions as vague predicates
Logic, Language and Meaning | 2010-10-12 | Paper |
Situations in LTL as strings
Information and Computation | 2009-10-09 | Paper |
Finite-State Temporal Projection
Implementation and Application of Automata | 2007-09-06 | Paper |
A Finite-state Approach to Events in Natural Language Semantics
Journal Of Logic And Computation | 2004-03-30 | Paper |
| scientific article; zbMATH DE number 1989650 (Why is no real title available?) | 2003-10-09 | Paper |
| scientific article; zbMATH DE number 1870420 (Why is no real title available?) | 2003-02-18 | Paper |
| scientific article; zbMATH DE number 1794692 (Why is no real title available?) | 2002-11-25 | Paper |
A type reduction from proof-conditional to dynamic semantics
Journal of Philosophical Logic | 2002-06-06 | Paper |
Ambiguous discourse in a compositional context. An operational perspective
Journal of Logic, Language and Information | 2001-02-18 | Paper |
A modal logic for non-deterministic discourse processing
Journal of Logic, Language and Information | 2000-11-07 | Paper |
In conjunction with qualitative probability
Annals of Pure and Applied Logic | 2000-01-11 | Paper |
| scientific article; zbMATH DE number 1292294 (Why is no real title available?) | 1999-05-27 | Paper |
| scientific article; zbMATH DE number 972588 (Why is no real title available?) | 1997-01-29 | Paper |
Bisimulations and predicate logic
Journal of Symbolic Logic | 1995-03-29 | Paper |
| scientific article; zbMATH DE number 515733 (Why is no real title available?) | 1994-03-10 | Paper |
| scientific article; zbMATH DE number 176743 (Why is no real title available?) | 1993-05-18 | Paper |
Meager and replete failures of relative completeness
Journal of the ACM | 1988-01-01 | Paper |
