scientific article

zbMath0418.03028MaRDI QIDQ3208642

Istvan Németi, Ildikó Sain, Hajnalka Andréka

Publication date: 1979

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

zbMATH Keywords

completenessPresburger arithmeticmodel-theoretic semanticsinference systemsfirst order dynamic logiclogic of actionscomplete rules for program verificationsemantics of program schemes

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) Nonstandard models of arithmetic (03H15) General topics in the theory of software (68N01) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Abstract model theory (03C95)

Related Items (6)

Non-standard algorithmic and dynamic logic ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ A complete logic for reasoning about programs via nonstandard model theory. I ⋮ A complete logic for reasoning about programs via nonstandard model theory. II ⋮ Temporal logics need their clocks ⋮ On the strength of temporal proofs

This page was built for publication: