Sesión ordinaria del Seminario (7-2-2012)

Fecha / Date: 7-2-2012.

Hora / Time: 10:00 h.

Lugar / Location: Seminario de Lógica de la Facultad de Filosofía - Universidad de Sevilla.

Ponente / Lecturer: Hans P. Van Ditmarsch y Fernando R. Velázquez Quesada.

Título / Tittle: Action models for knowledge and awareness.

Resumen / Abstract:
We consider semantic structures and logics that differentiate between being uncertain about a proposition, being unaware of a proposition, becoming aware of a proposition and getting to know the truth value of a proposition. Our primitive epistemic operator, called speculative knowledge, is different from the better known implicit knowledge, now definable, which plays a more restricted role.