Логики для кросс-мировой предикации на основе 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 |
| Summary: | В данной статье исследуются модификации CWPL, базирующиеся на пропозициональных логиках D, T, S4 и S5. Эти модификации позволяют отображать кросс-мировую предикацию в деонтическом, эпистемическом, темпоральном и алетическом контекстах (т.е. в контекстах, для формализации которых пригодны данные пропозициональные логики). В статье представлены семантика, табличная теория доказательства и секвенциальная теория доказательства для перечисленных модификаций CWPL с доказательством их корректности и полноты относительно соответствующих семантик. |
|---|---|
| Bibliography: | Библиогр.: 7 назв. |
| ISSN: | 1998-863x |