Propositional dynamic logic of flowcharts

DOI10.1016/S0019-9958(85)80047-4zbMath0575.68039OpenAlexW2001388124MaRDI QIDQ3694683

No author found.

Publication date: 1985

Published in: Information and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-9958(85)80047-4

zbMATH Keywords

completenessvaliditydynamic logicnondeterministic finite automataaxiomatic systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (6)

Concurrent program schemes and their logics ⋮ Complexity results for two-way and multi-pebble automata and their logics ⋮ The complexity of PDL with interleaving ⋮ Complexity results for multi-pebble automata and their logics ⋮ Computation paths logic: An expressive, yet elementary, process logic ⋮ Computation paths logic: An expressive, yet elementary, process logic

This page was built for publication: Propositional dynamic logic of flowcharts