HAPPY HOLIDAYS: Get a special discount on Apress Access! Subscribe today >>

Texts in Theoretical Computer Science. An EATCS Series

Temporal Logic and State Systems

Authors: Kröger, Fred, Merz, Stephan

  • Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory.

Buy this book

eBook $69.99
price for USA
  • ISBN 978-3-540-68635-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $89.95
price for USA
  • ISBN 978-3-540-67401-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $89.95
price for USA
  • ISBN 978-3-642-08680-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories.

All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

Reviews

From the reviews:

"In the book under review, significant new materials and approaches are included, in particular, branching time logics, expressiveness issues of temporal logic, aspects related to Lamport’s Temporal Logic of Actions (TLA), and model checking methods. … The book is well written and almost self-contained. It can be useful as an introduction and reference for scientists and practicing software engineers who want to familiarize themselves with the field. The book can be used for courses at the advanced undergraduate and the graduate levels.” (Regimantas Pliuškevicius, Mathematical Reviews, Issue 2009 m)

“The book consists of 11 chapters, followed by a list of temporal logic laws and axiomatic systems, a bibliography with 161 references, and a subject index. Each chapter ends with brief bibliographic notes. … This is a rich in content book, with many important topics and examples treated in much technical depth. … a rich, useful, and valuable text, that can be recommended as a research reference, graduate course textbook, or a source for self-study on temporal logic in computer science.”­­­ (Valentin Goranko, Studia Logica, Vol. 94, 2010)


Table of contents (11 chapters)

  • Basic Concepts and Notions of Logics

    Kröger, Fred (et al.)

    Pages 1-17

  • Basic Propositional Linear Temporal Logic

    Kröger, Fred (et al.)

    Pages 19-64

  • Extensions of LTL

    Kröger, Fred (et al.)

    Pages 65-99

  • Expressiveness of Propositional Linear Temporal Logics

    Kröger, Fred (et al.)

    Pages 101-152

  • First-Order Linear Temporal Logic

    Kröger, Fred (et al.)

    Pages 153-179

Buy this book

eBook $69.99
price for USA
  • ISBN 978-3-540-68635-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $89.95
price for USA
  • ISBN 978-3-540-67401-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $89.95
price for USA
  • ISBN 978-3-642-08680-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Temporal Logic and State Systems
Authors
Series Title
Texts in Theoretical Computer Science. An EATCS Series
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-68635-4
DOI
10.1007/978-3-540-68635-4
Hardcover ISBN
978-3-540-67401-6
Softcover ISBN
978-3-642-08680-9
Series ISSN
1862-4499
Edition Number
1
Number of Pages
XII, 436
Number of Illustrations and Tables
34 b/w illustrations
Topics