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

Legal notice, Privacy policy