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||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Model Checking Techniqes for the Analysis of Reactive Systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
Some Considerations on Non-Linear Time Intervals.Elżbieta Hajnicz - 1995 - Journal of Logic, Language and Information 4 (4):335-357.
-Calculus and Böhm's Theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Aspect and Interval Tense Logic.Miguel Leith & Jim Cunningham - 2001 - Linguistics and Philosophy 24 (3):331-381.
The Interval: Relation and Becoming in Irigaray, Aristotle, and Bergson.Rebecca Hill - 2011 - Fordham University Press.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #879,573 of 2,168,327 )
Recent downloads (6 months)0
How can I increase my downloads?