|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
On topological models of intuitionistic epistemic logicдоклад на конференции
- Автор: Оноприенко А.А.
- Всероссийская Конференция : Вторая конференция Математических центров России, г. Москва, Россия, 7–11 ноября 2022 г.
- Даты проведения конференции: 7-11 ноября 2022
- Дата доклада: 7 ноября 2022
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Russia
-
Аннотация доклада:
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.
- Добавил в систему: Оноприенко Анастасия Александровна