School of Computing

A tableaux method for interval temporal logic with projection

Howard Bowman and Simon J. Thompson

In TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods, volume 1397 of Lecture Notes in AI, pages 182-196. Springer-Verlag, May 1998.

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.

Download publication 91 kbytes

Bibtex Record

@inproceedings{528,
author = {Howard Bowman and Simon J. Thompson},
title = {A Tableaux Method for Interval Temporal Logic with Projection},
month = {May},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/528},
    booktitle = {TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods},
    number = {1397},
    publisher = {Springer-Verlag},
    refereed = {yes},
    series = {Lecture Notes in AI},
    volume = {1397},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014