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

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