|Abstract||We describe how we used the interactive theorem prover Isabelle to formalise and check the laws of the Timed Interval Calculus (TIC). We also describe some important corrections to, clarifications of, and flaws in these laws, found as a result of our work.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Stephan Merz (2002). Model Checking Techniqes for the Analysis of Reactive Systems. Synthese 133 (1-2):173 - 201.
Miguel Leith & Jim Cunningham (2001). Aspect and Interval Tense Logic. Linguistics and Philosophy 24 (3):331-381.
René David & Walter Py (2001). -Calculus and Böhm's Theorem. Journal of Symbolic Logic 66 (1):407-413.
Elżbieta Hajnicz (1995). Some Considerations on Non-Linear Time Intervals. Journal of Logic, Language and Information 4 (4):335-357.
Rebecca Hill (2011). The Interval: Relation and Becoming in Irigaray, Aristotle, and Bergson. Fordham University Press.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #274,507 of 548,972 )
Recent downloads (6 months)0
How can I increase my downloads?