Title: Extending temporal action logic
Subjects: Symbolic and mathematical Logic