Non-Monotonic Extension
of Temporal Logic
Pedro Cabalar. TU Wien, PhD Course