A Complete Axiomatization of Interval Temporal Logic with Projection

Bowman, H. and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent

Postscript
Download (632Kb)	Preview

Abstract

This paper presents a complete axiomatisation for propositional interval temporal logic (PITL) with projection. The axiomatisation is based on a tableau procedure for the logic, which in turn is founded upon a normal form for PITL formluae. The construction of the axiomatisation is modular, in the sense that given a normal form for a new connective, axioms can be generated for the connective from the tableau construction. The paper concludes with a discussion of aspects of compositionality for PITL with projection.

Item Type:	Monograph (Technical report)
Uncontrolled keywords:	tableau interval temporal logic normal form complete compositional
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:	27 Aug 2009 12:57
Last Modified:	20 Apr 2012 11:36
Resource URI:	http://kar.kent.ac.uk/id/eprint/22055 (The current URI for this page, for reference purposes)

• Depositors only (login required):