David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 4 (4):335-357 (1995)
Most of the descriptions of interval time structures in the first order predicate calculus are based on linear time. However, in the case of intervals, abandoning the condition oflinearity (e.g.LIN in van Benthem's systems) is not sufficient. In this paper, some properties of non-linear time structures are discussed. The most important one is the characterization of location of intervals in a fork of branches. This is connected with the fact that an interval can contain non-collinear subintervals. As a result of non-linearity, some basic properties of interval structures must be formulated in a weaker form. Moreover, time must be filled by intervals to indicate that time cannot pass without events occurring in it. Finally, it is shown that when intervals cannot contain non-collinear subintervals, most of the conditions described in the paper are satisfied.
|Keywords||time structures time intervals partial order|
|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
Fabio Pianesi & Achille C. Varzi (1996). Events, Topology and Temporal Relations. The Monist 79 (1):89--116.
ElŻbieta Hajnicz (1999). Some Considerations on Branching Areas of Time. Journal of Logic, Language and Information 8 (1):17-43.
Deborah G. Mayo (1981). In Defense of the Neyman-Pearson Theory of Confidence Intervals. Philosophy of Science 48 (2):269-280.
Quentin Smith (1985). On the Beginning of Time. Noûs 19 (4):579-584.
Roger Schwarzschild & Karina Wilkinson (2002). Quantifiers in Comparatives: A Semantics of Degree Based on Intervals. [REVIEW] Natural Language Semantics 10 (1):1-41.
Andrew Soltau, Times Two: The Tenses of Linear and Collapse Dynamics in Relational Quantum Mechanics.
Márta Somogyvári (2009). Time and Responsibility. World Futures 65 (5):342-355.
Elżbieta Hajnicz (1996). Applying Allen's Constraint Propagation Algorithm for Non-Linear Time. Journal of Logic, Language and Information 5 (2):157-175.
Added to index2009-01-28
Total downloads7 ( #213,301 of 1,679,326 )
Recent downloads (6 months)1 ( #183,792 of 1,679,326 )
How can I increase my downloads?