CUNY SEMINAR IN LOGIC, PROBABILITY, AND GAMES
Topologic: old and new results
Konstantinos Georgatos (CUNY)
4:15 PM, Friday, March 21, 2014
Room 3305, CUNY GC
Abstract. In 1992, Moss and Parikh introduced Toplogic an epistemic modal logic whose semanticas are based on subsets. Since then, research on this logic and it many extensions has been going strong. I will survey most of these results in the first part of this talk. On the second part, I will present how topologic can form a basis for the formalization of belief change operators, such as update, conditionals and contraction. Arbitrary nestings and iterations of such operators are easily automatized which is not the case in other studies of belief change in object language.