A tableau method for interval temporal logic with projection

Bowman, H. and Thompson, S. (1998) A tableau method for interval temporal logic with projection. Springer-Verlag Berlin ISBN 3-540-64406-7. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)

Abstract

This paper introduces a tableau method for propositional interval temporal logic (ITL) [14]. Beyond the usual operators of linear temporal logic, ITL contains sequencing and iterative operators, ';' and proj akin to programming combinators. Central to our approach is a normal form for the formulas of ITL, particularly ';' and proj, in terms of the 'O' operator of the logic.

Item Type: Book
Depositing User: I. Ghose
Date Deposited: 29 Jun 2011 08:23
Last Modified: 29 Jun 2011 08:23
Resource URI: http://kar.kent.ac.uk/id/eprint/17603 (The current URI for this page, for reference purposes)
  • Depositors only (login required):