36 Топологическая семантика модальных логик

Определение топологической семантики,
аксиомы Куратовского,
истинность в топологической модели,
проверка аксиом и правил вывода S4 в топологической модели.
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: boosty.to/mathreisender