Authors:
- 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)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (4 chapters)
-
Front Matter
-
Logics for Computations
-
Front Matter
-
-
Logics for Strategies
-
Front Matter
-
-
Back Matter
About this book
Authors and Affiliations
-
Sezione di Informatica Dipartimento di Scienze Fisiche, Università degli Studi di Napoli Federico II, Naples, Italy
Fabio Mogavero
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