School of Technolgoy and
- A-201 (STCS Seminar Room)
Abstract: We shall discuss the logical interpretation of Topology and Topological interpretations of various Logics. The idea of relating Topology and Modal logic dates back to Tarski and McKinsey. Some recent progress has been made in the area of belief revision using topological models. We shall discuss some old and new results.
P.S. - There is no prerequisite in logic and topology.