Многомодальная логика
-
Определение мультимодальной логики
- Мультимодальная логика включает более одного модального оператора.
- Используется в теоретической информатике.
-
Примеры мультимодальной логики
- Временная логика Прайора с двумя модальностями: F (будущее) и P (прошлое).
- Динамическая логика Пратта с модальным оператором для каждого регулярного выражения.
- Темпоральная логика для верификации программ с двумя модальностями для программы A.
-
Развитие и применение
- Термин «мультимодальная логика» введен в 1980 году.
- Логика Хеннесси-Милнера является частью модального μ-исчисления.
- Используется для формализации знаний и управления убеждениями агентов.
-
Модальный оператор и семантика
- Оператор ◻ индексируется по множеству агентов.
- Обобщение семантики Крипке для учета множества отношений доступности.
-
Рекомендации и внешние ссылки
- Статья является заглушкой и нуждается в расширении.
- Ссылки на статью Гарсона о модальной логике и на Стэнфордскую энциклопедию философии.