Skip to main content
Kent Academic Repository

Constructive interval temporal logic in Alf

Thompson, Simon (1997) Constructive interval temporal logic in Alf. In: Barringer, Howard, ed. International Conference on Temporal Logic. Applied Logic . pp. 377-390. Kluwer (KAR id:21553)


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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 25 Jul 2009 17:34 UTC
Last Modified: 16 Nov 2021 09:59 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.