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

Глава

On existence of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames

P. 45-45.
Rybakov M., Shkatov D.

В книге

Под редакцией: В. И. Маркин М.: Современные тетради, 2017.