Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Atlantis Studies in Computing

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

Authors: Mogavero, Fabio

Free Preview
  • Provides four extensions of classic temporal and strategic logics
  • Comprises new results on expressiveness and succinctness of logics in computer science
  • Includes new techniques for proving upper and lower computational bounds
see more benefits

Buy this book

eBook 71,68 €
price for Spain (gross)
  • ISBN 978-94-91216-95-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 88,39 €
price for Spain (gross)
  • ISBN 978-94-91216-94-7
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 88,39 €
price for Spain (gross)
  • ISBN 978-94-6239-056-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Rent the eBook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
About this book

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.

Table of contents (4 chapters)

Table of contents (4 chapters)

Buy this book

eBook 71,68 €
price for Spain (gross)
  • ISBN 978-94-91216-95-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 88,39 €
price for Spain (gross)
  • ISBN 978-94-91216-94-7
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 88,39 €
price for Spain (gross)
  • ISBN 978-94-6239-056-0
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Rent the eBook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logics in Computer Science
Book Subtitle
A Study on Extensions of Temporal and Strategic Logics
Authors
Series Title
Atlantis Studies in Computing
Series Volume
3
Copyright
2013
Publisher
Atlantis Press
Copyright Holder
Atlantis Press and the authors
eBook ISBN
978-94-91216-95-4
DOI
10.2991/978-94-91216-95-4
Hardcover ISBN
978-94-91216-94-7
Softcover ISBN
978-94-6239-056-0
Series ISSN
2212-8557
Edition Number
1
Number of Pages
XVII, 149
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.