Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: Barringer, Howard, ed. Advances in temporal logic. Applied Logic. Kluwer pp. 377-390.
This paper gives an implementation of an interval temporal logic in a constructive type theory, using the Alf proof system. After explaining the constructive approach, its relevance to interval temporal logic and potential applications of our work, we explain the fundamentals of the Alf system. We then present the implementation of the logic and give a number of examples of its use. We conclude by exploring how the work can be extended in the future.
|Item Type:||Conference or workshop item (Paper)|
|Additional information:||These proceedings are to be publised by Kluwer in 1997.|
|Uncontrolled keywords:||constructive type theory interval temporal logic Alf|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group|
|Depositing User:||Mark Wheadon|
|Date Deposited:||25 Jul 2009 17:34|
|Last Modified:||06 Sep 2011 03:58|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21553 (The current URI for this page, for reference purposes)|
- Depositors only (login required):