Обсуждение:Топологическая семантика
Последнее сообщение: 12 лет назад от Ilya Shap в теме «Перенесено с ВП:СО»
"А именно, V: PL->X" - ошибка.
Тут должно быть «V: PL->Powerset(X)», где Powerset(X) — это множество всех подмножеств X.
Далее, опечатка в определении истинности формулы: «существует окрестность U точки x, такой что». Должно быть — «такая что», а не «такой что».
Далее, существенная неточность: «Минимальная модальная логика, содержащая эти формулы, называется S4.» Должно быть не "Минимальная модальная логика, ", а "Минимальная нормальная модальная логика, ". Кроме того, более грамотно тут говорить не «Минимальная», а «Наименьшая».
Автор сообщения: Ilya Shap 10:13, 12 октября 2011 (UTC)
Перенесено со страницы ВП:СО#Топологическая семантика. by Sealle 10:12, 29 октября 2011 (UTC)