A tableau method for interval temporal logic with projection

Bowman, Howard and Thompson, Simon (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 currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (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: 02 Jul 2014 13:38
Resource URI: https://kar.kent.ac.uk/id/eprint/17603 (The current URI for this page, for reference purposes)
  • Depositors only (login required):