28532 articles – 22057 references  [version française]

inria-00001206, version 1

PDL for ordered trees

Loredana Afanasiev, Patrick Blackburn () 1, Ioanna Dimitriou, Bertrand Gaiffe () 1, Evan Goris, Maarten Marx, Maarten Rijke

Journal of Applied Non-Classical Logics 15, 2 (2005) 115--135

Abstract: 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.

  • 1:  LANGUE ET DIALOGUE (INRIA Lorraine - LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • Keywords : logics of trees – propositional dynamic logic
 
  • inria-00001206, version 1
  • http://hal.inria.fr/inria-00001206
  • oai:hal.inria.fr:inria-00001206
  • From: Agnès Vidard <>
  • Submitted on: Wednesday, 5 April 2006 14:53:07
  • Updated on: Wednesday, 5 April 2006 14:53:07