24 января, сб, 15:30
В рамках модальной логики рассматриваются понятия возможных миров, отношений достижимости, теории бинарных отношений.
Семантика возможных миров — это метод логического анализа так называемых возможных миров — мыслимых положений дел, ситуаций (идеальных альтернатив, описаний состояний, точек соотнесения).
Временная модальная логика предполагает наличие базисного отношения достижимости между ситуациями, которое определяет возможность перехода из одной ситуации в другую ситуацию.
Бинарные отношения в модальной логике определяют такие важнейшие понятия логики и математики, как «функция» и «операция».
Вход - свободный