Быстров П.И. Синтаксический анализ некоторых расширений S4

Статья опубликована в сборнике "Семантические и синтаксические исследования неэкстенсиональных логик", ответственный редактор доктор философских наук В.А. Смирнов. Москва, "Наука", 1989 год. Академия наук СССР, Институт философии.
В статье рассматриваются следующие расширения S4: S4.1, S4.2, S4.3 и S
4.4. Предлагаются их секвенциальные формулировки.