Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing

Temporal Logics (Elements in Philosophy and Logic)

Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)

The Temporal Logic of Reactive and Concurrent Systems: Specification

THE PHILOSOPHY OF BEES: FROM THE TEMPORAL; TO THE SACRED; TO THE DIVINE