Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs.

Balder ten Cate, Alessandro Facchini

Browse the full MFCS paper archive.