Machine-checking the timed interval calculus
| 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) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesStephan 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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,507 of 548,972 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
