PDL for Ordered Trees

Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke. PDL for Ordered Trees. Journal of Applied Non-Classical Logics, 15(2):115-135, 2005.

Authors

Loredana Afanasiev

This author has not been identified. Look up 'Loredana Afanasiev' in Google

Patrick Blackburn

This author has not been identified. Look up 'Patrick Blackburn' in Google

Ioanna Dimitriou

This author has not been identified. Look up 'Ioanna Dimitriou' in Google

Bertrand Gaiffe

This author has not been identified. Look up 'Bertrand Gaiffe' in Google

Evan Goris

This author has not been identified. Look up 'Evan Goris' in Google

Maarten Marx

Identified as Maarten Marx
(University of Amsterdam
)

Maarten de Rijke

Identified as Maarten de Rijke