The semantics of Hoare's iteration rule
From MaRDI portal
Publication:1078551
DOI10.1007/BF00370341zbMath0597.03013MaRDI QIDQ1078551
Publication date: 1982
Published in: Studia Logica (Search for Journal in Brave)
correctness; decidability; propositional modal logic; Segerberg's axiomatisation of propositional dynamic logic; while-command
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Cites Work