Title: Preliminary studies for a first order logic of knowledge and action
First published: 1986