Семантика соседства
-
Семантика соседства в модальной логике
- Семантика соседства — это формальная семантика для модальной логики, разработанная Даной Скотт и Ричардом Монтегю.
- Она обобщает реляционную семантику, заменяя отношение доступности функцией соседства.
- Функция соседства присваивает каждому миру набор подмножеств, которые интерпретируются как необходимые пропозиции.
- Семантика соседства слабее обычной модальной логики K и используется для классической модальной логики.
-
Соответствие между реляционными и соседскими моделями
- Реляционной модели M соответствует эквивалентная модель окрестности M’, которая имеет идентичные модальные теории.
- Это показывает, что модели соседства являются обобщением реляционных структур.
-
Другие обобщения реляционных структур
- Общие фреймы являются еще одним возможным обобщением реляционных структур.
-
Рекомендации по литературе
- Статья содержит ссылки на книги по модальной логике, написанные Челласом, Монтегю и Скоттом.
- Призыв к читателям помочь расширить статью, чтобы сделать ее более полезной для Википедии.