Принципы построения кластерной семантики для основных нормальных модальных систем
Рассматривается единая стратегия построения естественной семантики для основных нормальных модальных логик. Смысл модальных операторов выражается при помощи кластеров – конечных множеств описаний состояний и их систем, выполняющих роль модельных структур семантик возможных миров. Исчерпывающий перес...
| Опубликовано в: : | Вестник Томского государственного университета. Философия. Социология. Политология № 75. С. 5-20 |
|---|---|
| Главный автор: | |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001015097 |
| Итог: | Рассматривается единая стратегия построения естественной семантики для основных нормальных модальных логик. Смысл модальных операторов выражается при помощи кластеров – конечных множеств описаний состояний и их систем, выполняющих роль модельных структур семантик возможных миров. Исчерпывающий пересчет кластеров обеспечивается элементарными арифметическими функциями. При построении семантики используются только традиционные для логики понятия. |
|---|---|
| Библиография: | Библиогр.: 8 назв. |
| ISSN: | 1998-863x |