Title: The logic of omniscience
First published: 1983