Logic of Programs

Inhaltsverzeichnis

• 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.