|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
A joint logic of problems and propositionsдоклад на конференции
- Автор: Onoprienko A.A.
- Международная Конференция : Logical Perspectives 2021: Summer School and Workshop
- Даты проведения конференции: 14-19 июня 2021
- Дата доклада: 17 июня 2021
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва, Russia
-
Аннотация доклада:
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. Artemov and T. Protopopesku for intuitionistic epistemic logic. We also show that this logic conservatively extends the intuitionistic epistemic logic IEL+.
- Добавил в систему: Оноприенко Анастасия Александровна