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

Глава

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

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

В работе рассматриваются пропозициональные модальные логики не обладающие конечной аксиоматикой, и, более того, не аксиоматизируемые никаким своим фрагментом с конечным числом переменных. Показано, что такие логики могут возникать даже в случае весьма `простых' структур, в частности -- бесконечных множеств с одним отношением неравенства или  в случае произведений структур такого вида.