Séminaire du LIF
Jeudi 19 Octobre à 14h - CMI, Salle du Conseil
Valentin Shehtman
Moscow University
The virtue of modal logics
Modal logics are usually based on classical logic, but also have extra connectives like "necessary" or "possible". In this talk we give several examples showing how modal logics arise in different fields: geometry, topology, knowledge representation, etc. and explain their convenience.