МОДАЛЬНАЯ ЛОГИКА

МОДАЛЬНАЯ ЛОГИКА — логическая теория модальностей (модальных операторов) — применяемых к высказываниям или предикатам; играет важную роль в логической семантике.

Значения в других словарях

1. МОДАЛЬНАЯ ЛОГИКА — МОДАЛЬНАЯ ЛОГИКА – область логики, в которой изучаются логические операторы, называемые модальностями. В качестве стандартных обычно используются (алетические) модальности: «необходимость» и «возможность».  Новая философская энциклопедия
2. Модальная Логика — Область логики, в к-рой наряду с обычными высказываниями рассматриваются модальные высказывания, т. е. высказывания типа "необходимо, что.,.", "возможно, что..." и т. п. В математич. логике рассматриваются различные формальные системы М.  Математическая энциклопедия
3. Модальная логика — Область логики, посвящённая изучению модальностей (См. Модальность), построению исчислений (См. Исчисление), в которых модальности применяются к высказываниям, наряду с логическими операциями (См.  Большая советская энциклопедия
4. модальная логика — МОДАЛЬНАЯ ЛОГИКА — раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов...  Энциклопедия эпистемологии и философии науки