On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees

Wolfgang Thomas

Browse the full LICS paper archive.