|
|
|
|
| LEADER |
02473nab a2200325 c 4500 |
| 001 |
koha001150470 |
| 005 |
20250122135722.0 |
| 007 |
cr | |
| 008 |
250117|2024 ru s c rus d |
| 024 |
7 |
|
|a 10.17223/1998863Х/82/5
|2 doi
|
| 035 |
|
|
|a koha001150470
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Мухаметшина, Индира Искандаровна
|
| 245 |
1 |
0 |
|a Логики для кросс-мировой предикации на основе D, T, S4 и S5
|c И. И. Мухаметшина
|
| 246 |
1 |
1 |
|a Logics for cross-world predication based on D, T, S4 and S5
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 7 назв.
|
| 520 |
3 |
|
|a В данной статье исследуются модификации CWPL, базирующиеся на пропозициональных логиках D, T, S4 и S5. Эти модификации позволяют отображать кросс-мировую предикацию в деонтическом, эпистемическом, темпоральном и алетическом контекстах (т.е. в контекстах, для формализации которых пригодны данные пропозициональные логики). В статье представлены семантика, табличная теория доказательства и секвенциальная теория доказательства для перечисленных модификаций CWPL с доказательством их корректности и полноты относительно соответствующих семантик.
|
| 653 |
|
|
|a кросс-мировая предикация
|
| 653 |
|
|
|a модальная логика первого порядка
|
| 653 |
|
|
|a табличная теория доказательства
|
| 653 |
|
|
|a секвенциальная теория доказательства
|
| 653 |
|
|
|a полнота
|
| 655 |
|
4 |
|a статьи в журналах
|
| 773 |
0 |
|
|t Вестник Томского государственного университета. Философия. Социология. Политология
|d 2024
|g № 82. С. 55-67
|x 1998-863x
|w 0210-41760
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001150470
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1150470
|d 1150470
|
