37 Топологическая семантика S4: корректность и полнота

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