Институт Философии
Российской Академии Наук




  Bystrov P.I. Substructural version of implicative-negative part of propositional modal system S5
Главная страница » » Logical Investigations. Vol. 10. – M.: Nauka Publishers, 2003. – 320 p. ISBN 5-02-006257-X » Bystrov P.I. Substructural version of implicative-negative part of propositional modal system S5

Bystrov P.I. Substructural version of implicative-negative part of propositional modal system S5

Substructural version of the implicative-negative part of proposi­tional modal system S5 is considered. It is represented in the form of analytic tableaux as certain modification of analytic tableaux elaborated by Beth, Hintikka, Smullyan and Fitting and in the form of Gentzen-style sequent cal­culus with “global” rule of inference for modal operator.