Гибридная логика - Hybrid logic

Гибридная логика относится к ряду расширений пропозициональный модальная логика с большей выразительностью, но все же меньше, чем логика первого порядка. В формальная логика, существует компромисс между выразительностью и вычислительной управляемостью (насколько легко вычислить /причина с логическими языками). История гибридной логики началась с Артур Прайор работает в напряженная логика.[1]

В отличие от обычной модальной логики, гибридная логика позволяет ссылаться на состояния (возможные миры) в формулах. Это достигается с помощью класса формул, называемого номиналы, которые верны ровно в одном состоянии, и с помощью оператора @, который определяется следующим образом:

@я п правда если и только если п истинно в уникальном состоянии, названном номинальным я (т.е. состояние, в котором я правда).

Гибридные логики с дополнительными или другими операторами существуют, но @ является более или менее «стандартным».

Гибридная логика имеет много общего с темпоральная логика (которые используют номинальные конструкции для обозначения определенных моментов времени), и они являются богатым источником идей для исследователей современной модальной логики. У них также есть приложения в области логика функций, теория моделей, теория доказательств, и логический анализ естественный язык. Это также глубоко связано с логика описания потому что использование номиналов позволяет выполнять утверждения Коробка рассуждения, а также более стандартные терминологические TBox рассуждения.

Рекомендации

  1. ^ Торбен Браунер (2008). «Гибридная логика». Стэнфордская энциклопедия философии. Получено 1 февраля 2011.

дальнейшее чтение

  • П. Блэкберн. 2000. Представление, рассуждение и реляционные структуры: манифест гибридной логики. Логический журнал IGPL, 8(3):339-365.

внешняя ссылка