Semantics of looping programs in Propositional Dynamic Logic

DOI10.1007/BF01786985MaRDI QIDQ3960666zbMATH OpenFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3704559 (Why is no real title available?)
• scientific article; zbMATH DE number 3607998 (Why is no real title available?)
• First-order dynamic logic
• Propositional dynamic logic of regular programs

Cited in

(1)

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

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

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