Logic of Programs : Workshop, ETH Zürich, May-July 1979
Logic design Logics and Meanings of Programs
Imprint: Springer
1981
1st ed. 1981.
EISBN 3540386319
On the duality of dynamic algebras and kripke models.
The deducibility problem in propositional dynamic logic.
PAL — Propositional algorithmic logic.
Propositional dynamic logics of programs: A survey.
On the algorithmic theory of dictionaries.
On the algorithmic properties of concurrent programs.
A survey of the logic of effective definitions.
The deducibility problem in propositional dynamic logic.
PAL — Propositional algorithmic logic.
Propositional dynamic logics of programs: A survey.
On the algorithmic theory of dictionaries.
On the algorithmic properties of concurrent programs.
A survey of the logic of effective definitions.
