# A Tableau Method for Interval Temporal Logic with Projection

Bowman, Howard, Thompson, Simon (1998) A Tableau Method for Interval Temporal Logic with Projection. In: TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods, 05-08 May 1998, Oisterwijk, Netherlands. (KAR id:21654)

## Abstract

Tableau Methods have been extensively investigated for standard (infinite) temporal logics and there has been some tableau work in the interval temporal logic setting. However, this work has not considered the important projection operator. This paper responds to this deficiency by defining just such a tableau algorithm which handles the projection operator.

Item Type: Conference or workshop item (Paper) Tableaux, Temporal Logic Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, Faculties > Sciences > School of Computing > Theoretical Computing Group Mark Wheadon 22 Aug 2009 11:57 UTC 09 Feb 2020 04:03 UTC https://kar.kent.ac.uk/id/eprint/21654 (The current URI for this page, for reference purposes) https://orcid.org/0000-0003-4736-1869 https://orcid.org/0000-0002-2350-301X