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)|
|Through your library||Configure|
Similar books and articles
Fabio Pianesi & Achille C. Varzi (1996). Events, Topology and Temporal Relations. The Monist 79 (1):89--116.
Márta Somogyvári (2009). Time and Responsibility. World Futures 65 (5):342-355.
Andrew Soltau, Times Two: The Tenses of Linear and Collapse Dynamics in Relational Quantum Mechanics.
Roger Schwarzschild & Karina Wilkinson (2002). Quantifiers in Comparatives: A Semantics of Degree Based on Intervals. [REVIEW] Natural Language Semantics 10 (1):1-41.
Quentin Smith (1985). On the Beginning of Time. Noûs 19 (4):579-584.
Deborah G. Mayo (1981). In Defense of the Neyman-Pearson Theory of Confidence Intervals. Philosophy of Science 48 (2):269-280.
ElŻbieta Hajnicz (1999). Some Considerations on Branching Areas of Time. Journal of Logic, Language and Information 8 (1):17-43.
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 downloads6 ( #160,306 of 1,008,710 )
Recent downloads (6 months)1 ( #64,702 of 1,008,710 )
How can I increase my downloads?