scientific article
From MaRDI portal
Publication:3871917
zbMath0433.68031MaRDI QIDQ3871917
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items (8)
``During cannot be expressed by ``after ⋮ A simple dynamic logic ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ Intention is choice with commitment ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ Domain theory in logical form ⋮ Alternative semantics for temporal logics ⋮ A unifying theorem for algebraic semantics and dynamic logics
This page was built for publication:
