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

Глава

Modal logics with transitive closure: Completeness, decidability, filtration

P. 369-388.
Kikot S., Shapirovsky I., Zolin E.

В книге

Modal logics with transitive closure: Completeness, decidability, filtration
Vol. 13. College Publications, 2020.