Максимова Л. Л.
Классификация расширений модальной логики S4

Вводится естественная классификация нормальных расширений модальной логики S4 в соответствии с объемами кластеров в шкалах Крипке, доказана разрешимость классификации. Выделены основные логики в этой классификации и установлены их важные свойства: конечная аксиоматизируемость, финитная аппроксимируемость и узнаваемость.

Maksimova L. L.
Classification of extensions of the modal logic S4

We introduce a natural classification of normal extensions of the modal logic S4 in accordance to the volumes of clusters in the Kripke frames and prove the decidability of the classification. We distinguish the main logics in this classification and establish their important properties: finite axiomatizability, finite approximability, and recognizability.

Полный текст статьи / Full texts:

• PDF file
• PostScript file