Propositional Dynamic Logic with Recursive Programs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Propositional Dynamic Logic with Recursive Programs

Résumé

We extend the propositional dynamic logic PDL of Fischer and Ladner with a restricted kind of recursive programs using the formalism of visibly pushdown automata (Alur, Madhusudan 2004). We show that the satisfiability problem for this extension remains decidable, generalising known decidability results for extensions of PDL by non-regular programs.
Fichier principal
Vignette du fichier
recpdl_long.pdf (201.56 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00016667 , version 1 (09-01-2006)

Identifiants

  • HAL Id : hal-00016667 , version 1

Citer

Christof Loeding, Olivier Serre. Propositional Dynamic Logic with Recursive Programs. FOSSACS 2006: Foundations of Software Science and Computation Structures, 2006, Vienna, Austria. pp.292-306. ⟨hal-00016667⟩
92 Consultations
118 Téléchargements

Partager

Gmail Facebook X LinkedIn More