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
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • 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
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
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
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • 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
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
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