Modal Logics with Composition on Finite Forests: Expressivity and Complexity.

Bartosz Bednarczyk, Stphane Demri, Raul Fervari, Alessio Mansutti

Browse the full LICS paper archive.