ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
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+.