Logics in Computer Science - Atlantis Studies in Computing
Latest Publications

TOTAL DOCUMENTS

4

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Atlantis Press

9789491216947, 9789491216954

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Graded Computation Tree Logic

Logics in Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-95-4_1 ◽

2013 ◽

pp. 3-62

Author(s):

Fabio Mogavero

Keyword(s):

Computation Tree Logic ◽

Computation Tree

Download Full-text

Relentful Strategic Reasoning

Logics in Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-95-4_4 ◽

2013 ◽

pp. 117-138 ◽

Cited By ~ 1

Author(s):

Fabio Mogavero

Keyword(s):

Strategic Reasoning

Download Full-text

Reasoning About Strategies

Logics in Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-95-4_3 ◽

2013 ◽

pp. 85-116 ◽

Cited By ~ 1

Author(s):

Fabio Mogavero

Download Full-text

Minimal Model Quantifiers

Logics in Computer Science - Atlantis Studies in Computing ◽

10.2991/978-94-91216-95-4_2 ◽

2013 ◽

pp. 63-82

Author(s):

Fabio Mogavero

Keyword(s):

Minimal Model

Download Full-text