Sesión extraordinaria del Seminario (12-3-2012): Yi Wang

Fecha / Date: 12-3-2012.

Hora / Time: 17:30 h.

Lugar / Location: Classroom 120 of the Faculty of Philology – University of Seville.

Ponente / Lecturer: Yi Wang.

Título / Tittle: Subset space logic.

Resumen / Abstract:
Various frameworks of dynamic epistemic logic have been proposed for characterizing update of knowledge. Unlike those which adopt Kripke semantics, such as classical public announcement logic and action model logic, subset space logic (SSL) represents a tradition using variants of topological semantics, in particular, with a point standing for the current state and its neighborhoods for indistinguishable epistemic ranges. In this seminar, we introduce what SSL is, and how it is related to other frameworks. Also will be talked about are problems and research interests in this strand.