ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
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).