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

##plugins.themes.bootstrap3.article.sidebar##

PDF (Русский)
Published: 10.04.2011
DOI: https://doi.org/10.21146/2074-1472-2011-17-0-5-13

##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##

How to Cite
Arkhiereev N. Семантика допустимых множеств оценок для S5. Разрешающая процедура // Logicheskie Issledovaniya / Logical Investigations. 2011. VOL. 17. C. 5-13.
Issue
Vol 17 (2011)
Section
Papers

References

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