Schwind, Camilla: Representing Actions by State Logic. Presented at: AISB/GI Conference on Artificial Intelligence. Venue: Hamburg, Germany, 18.7-20.7. Topics: [modal-logic]. Code: [Schwind78A].
Prendinger, Helmut: Modal Logic for Modelling Actions and Agents. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [modal-logic]. Code: [Prendinger96A].