Semantics of looping programs in Propositional Dynamic Logic

DOI10.1007/BF01786985zbMath0497.03012MaRDI QIDQ3960666

Francine Berman

Publication date: 1982

Published in: Mathematical Systems Theory (Search for Journal in Brave)

zbMATH Keywords

Kleene closurelooping constructcompleteness of the class of standard modelsloop invariant interpretationloop invariant modelsSegerberg axiomatizationstandard interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Categoricity and completeness of theories (03C35)

Related Items (1)

Hoare's logic for nondeterministic regular programs: A nonstandard approach

Cites Work

• First-order dynamic logic
• Propositional dynamic logic of regular programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of looping programs in Propositional Dynamic Logic