Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties

Christopher H. Broadbent, Arnaud Carayol, C. -H. Luke Ong +1

This paper studies the logical properties of a very general class of infinite ranked trees, namely those generated by higher-order recursion schemes. We consider, for both monadic…