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

Статья

Бисимуляционные игры и локально табличные логики

Успехи математических наук. 2016. Т. 71. № 5. С. 185-186.

Приводятся новые результаты о локальной табличности модальных и суперинтуиционистских логик высказываний. Кратко изложена техника бисимуляционных игр, применяемая для доказательства этих результатов.