Семантика Крипке
- Семантика Крипке представляет собой формализм для изучения модальных логик.
- Крипке предложил использовать фреймы для описания моделей логики.
- Фреймы Крипке состоят из множества элементов и бинарных отношений.
- Семантика Крипке обобщается на мультимодальные логики и интуиционистскую логику.
- Интуиционистская логика обладает свойством конечной модели и является надежной и завершенной.
- Интуиционистская логика первого порядка использует интуиционистские фреймы Крипке и L-структуры.
- Семантика Крипке-Джойала определяет отношение удовлетворенности для интуиционистских формул.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: