Publication:3896482
From MaRDI portal
zbMath0449.68007MaRDI QIDQ3896482
Publication date: 1979
concept formation; dynamic logic; incompleteness; logic of actions; language with semantics; languages for reasoning about programs and program schemes; specification of semantics
03B60: Other nonclassical logic
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
03B10: Classical first-order logic
68N01: General topics in the theory of software
03C55: Set-theoretic model theory
03C95: Abstract model theory
Related Items
Total correctness in nonstandard logics of programs, On the strength of temporal proofs, Elementary classes in the injective subcategories approach to abstract model theory, 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, A logic for rough sets, Recursive programs and denotational semantics in absolute logics of programs