Logics of Programs 1979: Zürich, Switzerland

Erwin Engeler (Ed.): Logics of Programs, Workshop, ETH Zürich, May-July 1979. Lecture Notes in Computer Science 125 Springer 1981, ISBN 3-540-11160-3

Dexter Kozen: On the Duality of Dynamic Algebras and Kripke Models. 1-11
Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska: The Deducibility Problem in Propositional Dynamic Logic. 12-22
Grazyna Mirkowska: PAL - Propositional Algorithmic Logic. 23-101
Rohit Parikh: Propositional Dynamic Logics of Programs: a Survey. 102-144
Andrzej Salwicki: On the Algorithmic Theory of Dictionaries. 145-168
Andrzej Salwicki, Tomasz Müldner: On the Algorithmic Properties of Concurrent Programs. 169-197
Jerzy Tiuryn: A Survey of the Logic of Effective Definitions. 198-245