Принципы построения кластерной семантики для основных нормальных модальных систем
Рассматривается единая стратегия построения естественной семантики для основных нормальных модальных логик. Смысл модальных операторов выражается при помощи кластеров – конечных множеств описаний состояний и их систем, выполняющих роль модельных структур семантик возможных миров. Исчерпывающий перес...
| 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 |
| Summary: | Рассматривается единая стратегия построения естественной семантики для основных нормальных модальных логик. Смысл модальных операторов выражается при помощи кластеров – конечных множеств описаний состояний и их систем, выполняющих роль модельных структур семантик возможных миров. Исчерпывающий пересчет кластеров обеспечивается элементарными арифметическими функциями. При построении семантики используются только традиционные для логики понятия. |
|---|---|
| Bibliography: | Библиогр.: 8 назв. |
| ISSN: | 1998-863x |