Логики для кросс-мировой предикации на основе D, T, S4 и S5
В данной статье исследуются модификации CWPL, базирующиеся на пропозициональных логиках D, T, S4 и S5. Эти модификации позволяют отображать кросс-мировую предикацию в деонтическом, эпистемическом, темпоральном и алетическом контекстах (т.е. в контекстах, для формализации которых пригодны данные проп...
| Опубликовано в: : | Вестник Томского государственного университета. Философия. Социология. Политология № 82. С. 55-67 |
|---|---|
| Главный автор: | |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001150470 |
| Итог: | В данной статье исследуются модификации CWPL, базирующиеся на пропозициональных логиках D, T, S4 и S5. Эти модификации позволяют отображать кросс-мировую предикацию в деонтическом, эпистемическом, темпоральном и алетическом контекстах (т.е. в контекстах, для формализации которых пригодны данные пропозициональные логики). В статье представлены семантика, табличная теория доказательства и секвенциальная теория доказательства для перечисленных модификаций CWPL с доказательством их корректности и полноты относительно соответствующих семантик. |
|---|---|
| Библиография: | Библиогр.: 7 назв. |
| ISSN: | 1998-863x |