Media type: Book Title: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds 1 Contributor: Gabbay, Dov M. [Author]; Hodkinson, Ian [Author]; Reynolds, Mark [Author] imprint: Oxford: Clarendon Press, 1994 Published in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1.1994 Oxford logic guides ; 28.1994 Extent: XIV, 653 S.; graph. Darst Language: English ISBN: 0198537697 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Temporale Logik Origination: Footnote: