Семантика допустимых множеств оценок для S5. Разрешающая процедура

##plugins.themes.bootstrap3.article.main##

N.L. Arkhiereev

Abstract

The article deals with some peculiarities of the decision procedure for the semantic of Restricted Sets of State-Descriptions (RSSD) for propositional fragment of S5. Basis of the decision procedure is modified apparatus of analytical tableaux for classical pro- positional logic with truth-functional and special set-theoretic («volumetric») rules.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Архиереев Н.Л. Логические модальности как арифметические функции // Логические исследования. Вып. 16. М.-Спб: ЦГИ, 2010. С. 3-23.
Ивлев Ю.В. Модальная логика. М.: Изд-во Московского университета, 1991.