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