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

Глава

Неразрешимость модальных предикатных логик в языке с одной одноместной буквой

С. 41-43.

Рассматриваются предикатные модальные логики с одним одноместным предикатом. Показано, что соответствующие фрагменты подлогик таких логик как QS5, QGL или QGrz неразрешимы.

В книге

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