Title: A first-order logic of knowledge and belief with identity
First published: 1970
LC classification: Microfilm 29577