![]() |
|
ВИДЕОТЕКА |
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
|
|||
|
On topological models of intuitionistic epistemic logic А. А. Оноприенко |
|||
Аннотация: 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. |