A tableau method for interval temporal logic with projection

Bowman, Howard and Thompson, Simon (1998) A tableau method for interval temporal logic with projection. TABLEAUX 1998: Automated Reasoning with Analytic Tableaux and Related Methods, . pp. 108-123. (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: Article
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 9 Formal systems, logics
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: I. Ghose
Date Deposited: 29 Jun 2011 08:23 UTC
Last Modified: 15 May 2018 10:22 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/17603 (The current URI for this page, for reference purposes)
  • Depositors only (login required):