Системы T, S4 и S5
Классические модальные системы различаются свойствами отношения достижимости между возможными мирами. Эти различия определяют, какие формулы необходимости и возможности считаются корректными.
📊Уровень 5🗺️1 подтем📅16 апреля 2026 г.
Загрузка карты...