From uczpanc@ucl.ac.uk Tue Mar 14 17:06:12 EST 1995
Article: 28112 of comp.ai
Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!pipex!uknet!bcc.ac.uk!link-1.ts.bcc.ac.uk!uczpanc
From: uczpanc@ucl.ac.uk (Andrew Carrick)
Subject: New Book: Time & Logic
Summary: New Book: Time & Logic
Message-ID: <1995Mar14.162155.63658@ucl.ac.uk>
Date: Tue, 14 Mar 1995 16:21:55 GMT
Organization: University College London
Keywords: Book, Time & Logic
Lines: 118



TIME AND LOGIC
A computational approach
Edited by
Leonard Bolc (Polish Academy of Science, Warsaw)
Andrzej Szalas (Institute of Informatics, University of Warsaw)

In this book, some of the major current developments in our understanding and 
application of temporal logic are presented in computational terms. Time and 
logic: a computational approach will be an essential sourcebook for those 
within the specific field of temporal logic, as well as providing invaluable 
introductory material for those seeking an entry into this increasingly
important area of theoretical computing.
  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 programs will be facilitated. Throughout,
the authors have kept implementation-orientated solutions in mind.

The book begins with an introduction to the basic ideas of temporal logic. 
Successive chapters then examine particular aspects of the temporal theoretical
computing domain, relating their applications to familiar areas of research, 
such as stochastic process theory, automata theory, established proof systems, 
model checking, relational logic and classical predicate logic. This is an 
essential addition to the library of all theoretical computer scientists, 
providing a synthesis of well established results in temporal logic with the 
most up-to-date findings of some of the world's leading theoreticians. It is 
an authoritative work which will meet the needs both of those familiar with the field and those new to it.

Leonard Bolc is a Professor in the Institute of Computer Science, Polish 
Academy of Sciences, Warsaw. 
Andrzej Szalas is a Professor in the Institute of Informatics, University
of Warsaw.


336pp   Published: March 1995
1-85728-233-7 œ38.00 H
UCL Press

CONTENTS

Preface

Temporal logic of programs: a standard approach (A. Szalas)

Effective temporal logics of programs (H. Andr‚ka, V. Goranko, S. Mikuas,
I. Ne‚meti,I. Sain)

On the relation of programs and computations to models of temporal logic 
(P. Wolper)

Branching time and partial order in temporal logics  (W. Penczek)

Temporal logic in a stochastic environment (B. Strulo, D. Gabbay, 
P. G. Harrison)

Relational proof systems for applied temporal logics (E. Orlowska)

An analysis of structure and time in the first order predicate calculus 
(E. Hajnicz)

Bibliography; Index
-------------------------------------------------------------------------------
                                ORDER FORM
Bolc/www/0395  

 

                   ******Please print this form now*******

and post or fax it to: 
UCL Press, University College London, Gower Street, London WC1E 6BT UK 
Fax: +44 (0)171 413 8392  Tel: +44 (0)171 380 7707
e-mail: m.alexander@ucl.ac.uk

I would like to order . . . . . copies of Time and Logic @ œ38.00 HB 

I understand there is a small delivery charge of œ2.00 per order OR œ4.0
per order airmail 

I enclose a cheque, payable to UCL Press, in UK£œs sterling, drawn on a UK 
bank, for

TOTAL. . . . . . . . .
OR
Please charge my VISA / ACCESS / MASTERCARD / DINERS / AMEX a/c no.: 

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Expiry date on the card. . . . . My signature . . . . . . . . . . . . . .

My full name. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Address . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .


. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .


. . . . . . . . . . . . . . . . . . . . . . . . . . . .  . . . . . . . . .

For US orders please contact Taylor and Francis Inc., 1900 Frost Road, 
Suite 101, Bristol, Pennsylvania, 19007-1598 USA   
Fax: +1 215 785 5515 

For Canadian orders, please contact McClelland & Stewart, 380 Esna Park 
Drive, Markham, Ontario L3R 1H5 Canada   
Fax: +1 905 940 8864

For orders for RoW, please contact UCL Press Limited, University College London,
Gower Street, London WC1E 6BT UK   
Fax: +44 (0)171 413 8392  
e-mail: m.alexander@ucl.ac.uk

See our full catalogue from the Internet Bookshop

http://www.bookshop.co.uk/ucl/