![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
This is the fourth in a series of workshops dedicated to the study of topological methods in logic. The main purpose of the series of workshops is to gather together researchers who use topological methods in the study of logic. Topics of the workshop: Point-Free Topology; Topology and Modal Logic; Duality Theory.