David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Intervals and the events that occur in them are encoded as strings, elaborating on a conception of events as “intervals cum description.” Notions of satisfaction in interval temporal logics are formulated in terms of strings, and the possibility of computing these via ﬁnite-state machines/transducers is investigated. This opens up temporal semantics to ﬁnite-state methods, with entailments that are decidable insofar as these can be reduced to inclusions between regular languages.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Tim Fernando (2007). Observing Events and Situations in Time. Linguistics and Philosophy 30 (5):527-550.
Elżbieta Hajnicz (1995). Some Considerations on Non-Linear Time Intervals. Journal of Logic, Language and Information 4 (4):335-357.
Fabio Pianesi & Achille C. Varzi (1996). Events, Topology and Temporal Relations. The Monist 79 (1):89--116.
Tim Fernando (2011). Constructing Situations and Time. Journal of Philosophical Logic 40 (3):371 - 396.
Gualtiero Piccinini (2007). Computing Mechanisms. Philosophy of Science 74 (4):501-526.
Deborah G. Mayo (1981). In Defense of the Neyman-Pearson Theory of Confidence Intervals. Philosophy of Science 48 (2):269-280.
Added to index2011-07-20
Total downloads91 ( #42,905 of 1,790,336 )
Recent downloads (6 months)4 ( #201,867 of 1,790,336 )
How can I increase my downloads?