Overview
- 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
Part of the book series: Atlantis Studies in Computing (ATLANTISCOMP, volume 3)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Keywords
Table of contents (4 chapters)
-
Logics for Computations
-
Logics for Strategies
Authors and Affiliations
Bibliographic Information
Book Title: Logics in Computer Science
Book Subtitle: A Study on Extensions of Temporal and Strategic Logics
Authors: Fabio Mogavero
Series Title: Atlantis Studies in Computing
DOI: https://doi.org/10.2991/978-94-91216-95-4
Publisher: Atlantis Press Paris
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Atlantis Press and the authors 2013
Hardcover ISBN: 978-94-91216-94-7Published: 12 August 2013
Softcover ISBN: 978-94-6239-056-0Published: 09 August 2015
eBook ISBN: 978-94-91216-95-4Published: 30 July 2013
Series ISSN: 2212-8557
Series E-ISSN: 2212-8565
Edition Number: 1
Number of Pages: XVII, 149
Topics: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity