scientific article
From MaRDI portal
Publication:3896482
zbMath0449.68007MaRDI QIDQ3896482
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concept formationdynamic logicincompletenesslogic of actionslanguage with semanticslanguages for reasoning about programs and program schemesspecification of semantics
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Elementary classes in the injective subcategories approach to abstract model theory ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ A logic for rough sets ⋮ 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 ⋮ Total correctness in nonstandard logics of programs ⋮ On the strength of temporal proofs
This page was built for publication:
