Семантика допустимых множеств оценок для S5. Разрешающая процедура

Article Sidebar

PDF
Опубликован: 10.04.2011
DOI: https://doi.org/10.21146/2074-1472-2011-17-0-5-13
Ключевые слова:
метаоценка переменных, множество истинности формулы, конфигурация таблицы, объемные правила

Main Article Content

Н.Л. Архиереев

Аннотация

В работе [1] была описана стратегия построения семантик для нормальных модальных систем S4, S5, не использующих понятий «модельная структура», «возможный мир», «отношение достижимости между мирами». В настоящем исследовании осуществлена попытка построения разрешающей процедуры для пропозиционального фрагмента системы S5 Льюиса, сформулированной в терминах ограниченных множеств описаний состояний (допустимых множеств оценок).

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Архиереев Н. Семантика допустимых множеств оценок для S5. Разрешающая процедура // Логические исследования / Logical Investigations. 2011. Т. 17. C. 5-13.
Выпуск
Том 17 (2011)
Раздел
Статьи

Литература

Архиереев Н.Л. Логические модальности как арифметические функции // Логические исследования. Вып. 16. М.-Спб: ЦГИ, 2010. С. 3-23.
Ивлев Ю.В. Модальная логика. М.: Изд-во Московского университета, 1991.