PDL for ordered trees
Afanasiev, Loredana, Blackburn, Patrick, Dimitriou, Ioanna, Gaiffe, Bertrand, Goris, Evan, Marx, Maarten, de Rijke, MaartenVolume:
15
Language:
english
Journal:
Journal of Applied Non-Classical Logics
DOI:
10.3166/jancl.15.115-135
Date:
January, 2005
File:
PDF, 207 KB
english, 2005