A note on an extension of PDL

doi:10.1016/j.jal.2007.12.002

Journal of Applied Logic

Volume 6, Issue 4, December 2008, Pages 606-608

https://doi.org/10.1016/j.jal.2007.12.002 Get rights and content

Under an Elsevier user license

open archive

Abstract

Recently visibly pushdown automata have been extended to so-called k-phase multi-stack visibly pushdown automata (k-MVPAs). On the occasion of introducing k-MVPAs, it has been asked whether the extension of Propositional Dynamic Logic with k-MVPAs still leads to a decidable logic. This question is answered negatively here.

Keywords

Propositional dynamic logic

Visibly pushdown automata

Multi-stack visibly pushdown automata

Decidability

Satisfiability

Journal of Applied Logic

Research NotesA note on an extension of PDL

Abstract

Keywords

Research Notes
A note on an extension of PDL