Формула Салквиста
-
Определение и свойства формул Салквиста
- Формулы Салквиста обладают замечательными свойствами в модальной логике.
- Каждая формула Салквиста соответствует классу фреймов Крипке.
- Определение Салквиста описывает разрешимый набор модальных формул с корреспондентами первого порядка.
-
Примеры формул Салквиста и их отличия
- Примеры формул Салквиста включают упакованные атомы и импликации Салквиста.
- Существуют формулы, отличные от Салквистских, которые не соответствуют теореме о соответствии Салквиста.
-
Теорема Крахта и её следствия
- Теорема Крахта утверждает, что каждая формула Салквиста локально соответствует формуле Крахта.
- Обратное утверждение также верно: каждая формула Крахта локально соответствует некоторой формуле Салквиста.
-
Рекомендации по литературе
- Чагрова, 1991: Неразрешимая проблема в теории соответствия.
- Крахт, 1993: Как сочетались теория полноты и теория соответствия.
- Клювер, 1975: Соответствие и полнота семантики первого и второго порядка для модальной логики.