**Logics of Time and Computation**

by Robert Goldblatt

**Publisher**: Center for the Study of Language 1992**ISBN/ASIN**: 0937073946**ISBN-13**: 9780937073940**Number of pages**: 200

**Description**:

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Download or read it online for free here:

**Download link**

(6.8MB, PDF)

## Similar books

**Logic for Computer Scientists**

by

**Uli Furbach**-

**Wikibooks**

This book is intended for computer scientists and it assumes only some basic mathematical notions like relations and orderings. The aim was to create an interactive script where logics can be experienced by interaction and experimentation.

(

**5122**views)

**A Manual of Intensional Logic**

by

**Johan van Benthem**-

**CSLI**

An examination of the role of partial information - with illustrations drawn from different branches of Intensional Logic - and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers.

(

**6086**views)

**Predicative Arithmetic**

by

**Edward Nelson**-

**Princeton Univ Pr**

The book based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, and more.

(

**11917**views)

**A Problem Course in Mathematical Logic**

by

**Stefan Bilaniuk**

An introduction to mathematical logic for undergraduates. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is to learn the material by solving the problems.

(

**14482**views)