A first-order Temporal Logic for Actions

Camilla Schwind

We present a multi-modal action logic with first-order modalities, which contain terms which can be unified with the terms inside the subsequent formulas and which can be quantifie…