Applied Logic Series

Advances in Temporal Logic

Editors: Barringer, H., Fisher, M., Gabbay, D.M., Gough, G. (Eds.)

Buy this book

eBook $249.00
price for USA (gross)
  • ISBN 978-94-015-9586-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $319.00
price for USA
  • ISBN 978-0-7923-6149-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $319.00
price for USA
  • ISBN 978-90-481-5389-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query­ ing, granularity of time, update mechanisms, active temporal data­ bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in­ terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo­ ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems.

Table of contents (22 chapters)

  • A Hierarchy of Modal Event Calculi: Expressiveness and Complexity

    Cervesato, Iliano (et al.)

    Pages 1-20

  • Release Logics for Temporalizing Dynamic Logic

    Krabbendam, Jeroen (et al.)

    Pages 21-45

  • Compositional Verification of Timed Statecharts

    Levi, Francesca

    Pages 47-70

  • Temporal Logic for Stabilizing Systems

    Lakhnech, Yassine (et al.)

    Pages 71-90

  • Decidable Theories of ω-Layered Metric Temporal Structures

    Montanari, Angelo (et al.)

    Pages 91-108

Buy this book

eBook $249.00
price for USA (gross)
  • ISBN 978-94-015-9586-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $319.00
price for USA
  • ISBN 978-0-7923-6149-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $319.00
price for USA
  • ISBN 978-90-481-5389-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Advances in Temporal Logic
Editors
  • Howard Barringer
  • Michael Fisher
  • Dov M. Gabbay
  • Graham Gough
Series Title
Applied Logic Series
Series Volume
16
Copyright
2000
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media Dordrecht
eBook ISBN
978-94-015-9586-5
DOI
10.1007/978-94-015-9586-5
Hardcover ISBN
978-0-7923-6149-7
Softcover ISBN
978-90-481-5389-3
Series ISSN
1386-2790
Edition Number
1
Number of Pages
IX, 453
Topics