Title: On total awareness logics
First published: 1991