Carreiro, Facundo and
Demri, Stéphane. 2012.
“Beyond Regularity for Presburger Modal Logic.” in
Advances in Modal Logic, volume IX, edited by Thomas
Bolander, Torben
Braüner, Silvio
Ghilardi, and Lawrence S.
Moss, pp. 161–182. London: King’s College Publications.
Carreiro, Facundo and
Venema, Yde. 2014.
“PDL Inside the \(\mu\)-calculus: A Syntactic and an Automata-theoretic Characterization.” in
Advances in Modal Logic, volume X, edited by Rajeev
Goré, Barteld P.
Kooi, and Ágnes
Kurucz, pp. 74–93. London: King’s College Publications.