Вернуться к Подробностям о статье Undecidability of QLTL and QCTL with two variables and one monadic predicate letter Скачать Скачать PDF