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