Knowability and a modal closure principle · Study