ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
We consider reasonings based on public announcements as abduction: we give the formalism based on the method of representing abduction in modal logic and also on the tableau calculus for Public Announcement Logic, supplemented by a recursive procedure of constructing an explanatory formula.