Вернуться к Подробностям о статье
Kripke Incompleteness of First-order Calculi with Temporal Modalities of CTL and Near Logics
Скачать
Скачать PDF