Location:
Room 4430
Speaker:
CAN BASKENT
Abstract:
The main purpose of this talk is to provide an in depth exposition of the connections between geometry and modal logic. Starting from basic modal logic, our aim is to arrive at dynamic epistemology and discuss their connections with geometry and topology. Throughout the exposition, we will also address the issues in subset space logic which is an dynamic epistemic logic.
Committee:
DISTINGUISHED PROFESSOR ROHIT PARIKH, MENTOR, BROOKLYN COLLEGE
PROFESSOR MELVIN FITTING, LEHMAN COLLEGE
DISTINGUISHED PROFESSOR SERGEI ARTEMOV, GRADUATE CENTER