Propositional dynamic logic of flowcharts

DOI10.1016/S0019-9958(85)80047-4MaRDI QIDQ3694683zbMATH OpenOpenAlexFDO

Authors

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

axiomatic systemscompletenessdynamic logicnondeterministic finite automatavalidity

Mathematics Subject Classification ID

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

Cited in

(6)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3694683)