Describir: Logics for Knowability.