|
|
A Polyadic Modal µ-Calculus
– Henrik Reif Andersen
- 1994
|
|
5
|
Notes on the Propositional µ-calculus: Completeness and Related Results
– Igor Walukiewicz, Igor Walukiewicz
- 1995
|
|
41
|
Games for the µ-Calculus
– Damian Niwinski, Igor Walukiewicz
|
|
19
|
Modal mu-calculi
– Julian Bradfield, Colin Stirling
- 2007
|
|
20
|
Completeness of Kozen's Axiomatisation of the Propositional µ-Calculus
– Igor Walukiewicz
- 1995
|
|
743
|
Dynamic Logic
– David Harel, Dexter Kozen, Jerzy Tiuryn
- 1984
|
|
10
|
Automata for the µ-calculus and Related Results
– David Janin, Igor Walukiewicz
- 1995
|
|
104
|
Reasoning about The Past with Two-Way Automata
– Moshe Y. Vardi
- 1998
|
|
1
|
Automata and Logic
– Igor Walukiewicz
- 2002
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
115
|
Pushdown Processes: Games and Model Checking
– Igor Walukiewicz
- 1996
|
|
19
|
Mathematical Modal Logic: a View of its Evolution
– Robert Goldblatt
- 2001
|
|
|
Generation of Witnesses for Global µ-Calculus Model Checking
– Alexander Kick
|
|
56
|
On the Expressive Completeness of the Propositional Mu-Calculus With Respect to Monadic Second Order Logic
– David Janin, Igor Walukiewicz
- 1996
|
|
20
|
From Verification to Control: Dynamic Programs for Omega-regular Objectives
– Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
- 2001
|
|
11
|
Modal Logic: A Semantic Perspective
– Patrick Blackburn, Johan van Benthem
- 1988
|
|
37
|
Concept Language With Number Restrictions and Fixpoints, and Its Relationship With mu-Calculus
– Giuseppe De Giacomo, Maurizio Lenzerini
- 1994
|
|
237
|
An Automata-Theoretic Approach to Branching-Time Model Checking
– Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
- 1998
|
|
13
|
Focus games for satisfiability and completeness of temporal logic
– Martin Lange, Colin Stirling
- 2001
|
