Open menu
E. Thijsse
On total awareness logics