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

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

Источник: Большой энциклопедический словарь на Gufo.me

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

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