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

Глава

Модальная логика R с модальностью неравенства

С. 335-339.

Мы изучаем модальную логику с топологической модальностью и модальностью неравенства вещественной прямой и доказываем, что она финитно аппроксимируема и разрешима.