Inflationary fixed points in modal logic.
In: ACM Transations on Computational Logic, 5(2):282--315.
Modal Iteration Calculus |
| [Dawar et al., 2004]
|
Anuj Dawar and Erich Grädel and Stephan Kreutzer (2004). Inflationary fixed points in modal logic. In: ACM Transations on Computational Logic, 5(2):282--315. |
| [Lange, 2006]
|
Martin Lange (2006). Temporal Logics Beyond Regularity. |
| [Kreutzer and Lange, 2007]
|
S. Kreutzer and M. Lange (2007). Non-Regular Fixpoint Logic and Games. In: E. Grädel and J. Flum and T. Wilke (eds.), Logic and Automata: History and Perspectives. Volume 2 of Texts in Logic and Games. pp. 433--466. Amsterdam University Press. |