Un trabajo en español que explora los cruces entre la lógica modal y la epistemología, analizando sistemas formales para conceptos como 'sabe que', 'cree que' y 'es compatible con lo que sabe'. Incluye discusiones sobre la omnisciencia lógica y la introspección.
