Логики для кросс-мировой предикации на основе D, T, S4 и S5
В данной статье исследуются модификации CWPL, базирующиеся на пропозициональных логиках D, T, S4 и S5. Эти модификации позволяют отображать кросс-мировую предикацию в деонтическом, эпистемическом, темпоральном и алетическом контекстах (т.е. в контекстах, для формализации которых пригодны данные проп...
| Published in: | Вестник Томского государственного университета. Философия. Социология. Политология № 82. С. 55-67 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001150470 |