Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

By Fabio Mogavero

Book Overview

Graded Computation Tree Logic.- Minimal Model Quantifiers.- Reasoning About Strategies.- Relentful Strategic Reasoning.- Appendix A Mathematical Notation.

• Format: Hardcover
• Language: English
• ISBN: 9491216945
• ISBN13: 9789491216947
• Release Date: August 2013
• Publisher: Atlantis Press
• Length: 149 Pages
• Weight: 0.83 lbs.
• Dimensions: 0.6" x 6.3" x 9.5"