Fabio Mogavero, Aniello Murano. Branching-Time Temporal Logics with Minimal Model Quantifiers. In Volker Diekert, Dirk Nowotka, editors, Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings. Volume 5583 of Lecture Notes in Computer Science, pages 396-409, Springer, 2009. [doi]
Abstract is missing.