A note on an extension of PDL

DOI10.1016/J.JAL.2007.12.002zbMath1156.03033OpenAlexW2047311785MaRDI QIDQ959057

Dirk Nowotka, Stefan Göller

Publication date: 11 December 2008

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2007.12.002

zbMATH Keywords

decidabilitysatisfiabilitypropositional dynamic logicvisibly pushdown automatamulti-stack visibly pushdown automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Cites Work

• Propositional dynamic logic of nonregular programs
• Propositional dynamic logic of regular programs
• Propositional dynamic logic with recursive programs
• Visibly pushdown languages
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on an extension of PDL