![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
We consider a standard translation of propositional modal formulas into classical first-order theories translating modality as the relativized quantification. We show that in many cases this translation is faithful (De Jongh's property).