Temporal Logic Mathematical Foundations and Computational Aspects Volume 1

by Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark

• ISBN13: 9780198537694
• ISBN10: 0198537697
• Format: Hardcover
• Copyright: 1994-08-25
• Publisher: Clarendon Press
• More Book Details

Summary

This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference for both the pure logician and the theoretical computer scientist.

Table of Contents

The handling of time: introduction and survey

Semantical presentation of temporal connectives

Axiomatic presentation of propositional temporal connectives

Predicate temporal logics

Temporal logics presented in the predicate calculus: language-metalanguage

A general theory of axiomatization for propositional temporal logic

Basic many-dimensional systems

Propositional quantifiers and fixed point operators

Expressive power of one-dimensional temporal connectives: basic concepts

Expressive completeness of Since and Until over integer and real time

Expressive completeness of Stavi connectives over general linear time

Further expressive completeness results

H-dimension

Adding a temporal dimension to a logic system

Decidability in temporal logic

Bibliography

Notation Index

Index of Systems

Index

Table of Contents provided by Publisher. All Rights Reserved.