Publication details

Saarland University Computer Science

Constraint Deduction in an Interval-based Temporal Logic

Jana Koehler, Ralf Treinen

Executable Modal and Temporal Logics, pp. 103--117, Springer-Verlag, 1995

We describe reasoning methods for the interval-based modal temporal logic LLP which employs the modal operators sometimes, always, next, and chop. We propose a constraint deduction approach and compare it with a sequent calculus, developed as the basic machinery for the deductive planning system PHI which uses LLP as underlying formalism.

Download PDF        Show BibTeX               


Login to edit


Webmaster, Wed Sep 16 10:47:00 2009