Research NotesA note on an extension of PDL
Under an Elsevier user license
open archive
Keywords
Propositional dynamic logic
Visibly pushdown automata
Multi-stack visibly pushdown automata
Decidability
Satisfiability
Cited by (0)
Copyright © 2008 Elsevier B.V. All rights reserved.