Constructive interval temporal logic in Alf

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
PDF
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 > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User:	Mark Wheadon
Date Deposited:	25 Jul 2009 17:34
Last Modified:	28 Apr 2014 10:32
Resource URI:	https://kar.kent.ac.uk/id/eprint/21553 (The current URI for this page, for reference purposes)