scientific article

zbMath0494.03022MaRDI QIDQ3956920

Ildikó Sain

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenessdynamic logicnonstandard modelsFloyd-Hoare logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Categoricity and completeness of theories (03C35) Nonstandard models (03H99)

Related Items

Non-standard algorithmic and dynamic logic ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ Weak second order characterizations of various program verification systems ⋮ A complete logic for reasoning about programs via nonstandard model theory. I ⋮ Total correctness in nonstandard logics of programs