Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: Barringer, Howard, ed. Advances in temporal logic. Applied Logic. Kluwer pp. 377-390. (Full text available)
Postscript | ||
Download (182kB)
Preview
|
|
|
Download (140kB)
Preview
|
|
Abstract
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 > Sciences > School of Computing > Theoretical Computing Group |
Depositing User: | Mark Wheadon |
Date Deposited: | 25 Jul 2009 17:34 UTC |
Last Modified: | 28 Apr 2014 10:32 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/21553 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):