![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
The intuitionistic logic H4 with the modality of knowledge is in some way dual to the classical modal logic S4. I will talk about two types of topological models of the logic H4: models with a dense distinguished subset, as well as bitopological models.