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

Глава

Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик.

С. 411-415.
Кудинов А. В., Шапировский И. Б.

В работе рассматриваются модальные логики бинарных отношений, удовлетворяющих условиям вида $R^m\subseteq R^n$. Несмотря на то, что эти логики легко описываются и имеют весьма простую аксиоматику, вопрос о финитной аппроксимируемости таких логик открыт. Эта задача возникла в 60х годах прошлого века (для случая m=3, n=2), и до сих пор остаётся нерешённой.   В работе доказывается финитная аппроксимируемость для частного случая - при m=n+1} и симметричном отношении.