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.
@article{AfanasievBDGGMR05,
title = {PDL for Ordered Trees},
author = {Loredana Afanasiev and Patrick Blackburn and Ioanna Dimitriou and Bertrand Gaiffe and Evan Goris and Maarten Marx and Maarten de Rijke},
year = {2005},
researchr = {https://researchr.org/publication/AfanasievBDGGMR05},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {15},
number = {2},
pages = {115-135},
}