PDL for ordered trees - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Applied Non-Classical Logics Year : 2005

PDL for ordered trees

Loredana Afanasiev
  • Function : Author
Ioanna Dimitriou
  • Function : Author
Evan Goris
  • Function : Author
Maarten Marx
  • Function : Author
Maarten Rijke
  • Function : Author


This paper investigates the complexity and expressive power of a language of propositional dynamic logic proposed by Marcus Kracht. The language has four basic programs, corresponding to the child, parent, and left- and right- sibling relations in trees. The paper concentrates on expressivity issues. In particular, it investigates which first-order and second-order properties the language can express.
No file

Dates and versions

inria-00001206 , version 1 (05-04-2006)


  • HAL Id : inria-00001206 , version 1


Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, et al.. PDL for ordered trees. Journal of Applied Non-Classical Logics, 2005, 15 (2), pp.115--135. ⟨inria-00001206⟩
124 View
0 Download


Gmail Facebook X LinkedIn More