Принципы построения кластерной семантики для основных нормальных модальных систем
Рассматривается единая стратегия построения естественной семантики для основных нормальных модальных логик. Смысл модальных операторов выражается при помощи кластеров - конечных множеств описаний состояний и их систем, выполняющих роль модельных структур семантик возможных миров. Исчерпывающий п...
Published in: | Вестник Томского государственного университета. Философия. Социология. Политология № 75. С. 5-20 |
---|---|
Main Author: | |
Format: | Article |
Language: | Russian |
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001015097 Перейти в каталог НБ ТГУ |