Determinism and non-determinism in PDL

DOI10.1016/0304-3975(91)90031-VzbMath0744.68093MaRDI QIDQ1177157

Andreas Wilm

Publication date: 26 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

propositional dynamic logicstrict propositional dynamic logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A dynamic logic of action

Cites Work

• Unnamed Item
• Unnamed Item
• Propositional dynamic logic with local assignments
• The semantics of Hoare's iteration rule
• Axiomatising the logic of computer programming
• First-order dynamic logic
• Looping vs. repeating in dynamic logic
• On a question of Eggan

This page was built for publication: Determinism and non-determinism in PDL