• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics

Logical Investigations. 2015. Vol. 21. No. 1. P. 86-99.
Rybakov M., Котикова Е. А.

Доказана неполнота по Крипке большого класса исчислений, содержащих аксиоматику CTL и QCL.