Atlantis Studies in Computing

Logics in Computer Science

A Study on Extensions of Temporal and Strategic Logics

Authors: Mogavero, Fabio

  • 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 $79.99
price for USA (gross)
  • ISBN 978-94-91216-95-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $109.00
price for USA
  • ISBN 978-94-91216-94-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA
  • ISBN 978-94-6239-056-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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)

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-94-91216-95-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $109.00
price for USA
  • ISBN 978-94-91216-94-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA
  • ISBN 978-94-6239-056-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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