1st Edition

Time & Logic A Computational Approach

338 Pages

by Routledge

336 Pages

by Routledge

336 Pages

by Routledge

Also available as eBook on:

Taylor & Francis eBooks
(Institutional Purchase)Opens in new tab or window

Description

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of... Read more

Preface

1. Temporal Logic of Programs: Standard Approach, A. Szałas

2. Effective Temporal Logics of Programs, H. Andréka, V. Goranko, S. Mikulás, I. Németim, I. Sain

3. On the Relation of Programs and Computations to Models of Temporal Logic, P. Wolper

4. Branching Time and Partial Order in Temporal Logics, W. Penczek

5. Temporal Logic in Stochastic Environment, B. Strulo, D. Gabbay, P.G. Harrison

6. Relational Proof Systems for Applied Temporal Logics, E. Orlowska

7. An Analysis of Structure of Time in the First Order Predicate Calculus, E. Hajnicz

Index