Cтраница 2
Различные автоэпистемические логики получаются в зависимости от выбора позитивной и негативной интроспекции. Пшимусинский показал также, что при таком определении расширения все перечисленные недостатки устраняются, и что с помощью трансформации Гельфонда между нормальными логическими программами и автоэпистемическими теориями ( где not L понимается как - LL), приведенное расширение эквивалентно фундированной семантике. [16]
Эта новая семантика, основанная на понятии возможных миров, позволяет построить конечные модели для автоэпистемических теорий и дает возможность доказать существование полных и состоятельных относительно некоторого множества посылок автоэпистемических теорий, что было бы трудно осуществить с помощью первоначально указанной семантической характеризации. [17]
Эта новая семантика, основанная на понятии возможных миров, позволяет построить конечные модели для автоэпистемических теорий. Она дает возможность доказать существование полных и легальных относительно некоторого множества посылок автоэпистемических теорий, что было бы трудно осуществить с помощью первоначально указанной семантической характеризации. [18]