The handling of time: introduction and survey
Dov M. Gabbay, Ian Hodkinson, Mark A Reynolds · 1994
Abstract This book is about the handling of time, both in pure logic and in computing. It attempts to present a unified point of view, where computational and mathematical properties of the logic of time are interwoven in an intrinsic way.