Dynamic Linear Time Temporal Logic
Jesper G. Henriksen April 1997 |
Abstract:A simple extension of the propositional temporal logic of
linear time is proposed. The extension consists of strengthening the until
operator by indexing it with the regular programs of propositional dynamic
logic (PDL). It is shown that DLTL, the resulting logic, is expressively
equivalent to S1S, the monadic second-order theory of Available as PostScript, PDF, DVI. |