|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
A joint logic of problems and propositionsтезисы доклада
- Автор: Onoprienko A.A.
- Сборник: Logical Perspectives 2021: Summer School and Workshop
- Тезисы
- Год издания: 2021
- Аннотация: We consider the joint logic of problems and propositions suggested by S. A. Melikhov. We prove that its propositional part is complete with respect to models constructed by S. Artemovand T. Protopopesku for intuitionistic epistemic logic. We also show that this logic conservatively extends the intuitionistic epistemic logic IEL+.
- Добавил в систему: Оноприенко Анастасия Александровна