![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
В докладе планируется обсудить построение модельного множества (множества Хинтикки) для параполной логики PComp, введенной А. Авроном [Avron, 1991], а также применение построенного модельного множества к проблематике (автоматического) поиска натурального вывода. Работа является продолжением серии статей, посвященных (автоматическому) поиску натурального вывода в классической и неклассической (в частности, временной) логиках, где метод построения модельных множеств применяется при доказательстве полноты алгоритмов [Bolotov, Grigoryev, Shangin, 2007], [Bolotov, Shangin, 2012].