Looping vs. repeating in dynamic logic

DOI10.1016/S0019-9958(82)90553-8MaRDI QIDQ3327707zbMATH OpenOpenAlexFDO

Authors

Publication date 1982

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

Full work available at URL https://doi.org/10.1016/s0019-9958(82)90553-8

zbMATH Keywords

extensions of propositional dynamic logicinfinite computationsloopregular expressionsrelative expressivenessrepeat

Mathematics Subject Classification ID

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

Recommendations

• More on looping vs. repeating in dynamic logic
• scientific article; zbMATH DE number 218549
• scientific article; zbMATH DE number 3974282
• scientific article; zbMATH DE number 3880104
• scientific article; zbMATH DE number 4010497

Cited in

(15)

• While-programs with nondeterministic assignments and the logic ALNA
• Automata-theoretic techniques for modal logics of programs
• Determinism and non-determinism in PDL
• A modal logic for cyclic repeating
• Computation paths logic: An expressive, yet elementary, process logic
• More on looping vs. repeating in dynamic logic
• From Philosophical to Industrial Logics
• Dynamic logic with program specifications and its relational proof system
• Computation paths logic: an expressive, yet elementary, process logic
• scientific article; zbMATH DE number 218549 (Why is no real title available?)
• Branching-time logics and fairness, revisited
• Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
• From Monadic Logic to PSL
• 2-Exp Time lower bounds for propositional dynamic logics with intersection
• Determinism and looping in combinatory PDL

This page was built for publication: Looping vs. repeating in dynamic logic

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