Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 8)
First-Order Temporal Logic
Temporal logic can be developed from its propositional basis to a first-order predicate logic in a way analogous to how this is done in the classical case.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1987