A first-order Temporal Logic for Actions

Camilla Schwind A first-order Temporal Logic for Actions http://arxiv.org/abs/0705.1999 2007 CoRR abs/0705.1999 db/journals/corr/corr0705.html#abs-0705-1999 informal publication