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)|
This paper introduces a tableau method for propositional interval temporal logic (ITL) . 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.
|Depositing User:||I. Ghose|
|Date Deposited:||29 Jun 2011 08:23 UTC|
|Last Modified:||02 Jul 2014 13:38 UTC|
|Resource URI:||https://kar.kent.ac.uk/id/eprint/17603 (The current URI for this page, for reference purposes)|