Mogavero, Fabio
Logics in Computer Science
Table of contents
Part I. Logics for Computations
1. Graded Computation Tree Logic
Fabio Mogavero
2. Minimal Model Quantifiers
Fabio Mogavero
Part II. Logics for Strategies
3. Reasoning About Strategies
Fabio Mogavero
4. Relentful Strategic Reasoning
Fabio Mogavero
Keywords: Computer Science, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity
- Author(s)
- Mogavero, Fabio
- Publisher
- Springer
- Publication year
- 2013
- Language
- en
- Edition
- 2013
- Series
- Atlantis Studies in Computing
- Page amount
- 17 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9789491216954