О модальных логиках с экзистенциальной модальностью.
##plugins.themes.bootstrap3.article.main##
Abstract
In this paper we present Hilbert-style axiomatization of polymodal logic $\mathbf{К}^{\#}$ with "existential" modality, that is modality that allows us to say that a formula is true in a world accessible by some accessibility relation, and prove its completeness. We also prove completeness for the extension of $\mathbf{К}^{\#}$ obtained by augmenting it the axiom of determinism.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Alechina N., Shkatov D. О модальных логиках с экзистенциальной модальностью. // Logicheskie Issledovaniya / Logical Investigations. 2005. VOL. 12. C. 5-13.
Issue
Section
Papers
References
Alechina N., de Rijke М, Demri S. A modal perspective on path constrains // Journal of Logic and Computation. 2003. Vol. 13. P. 939-956.
Blackburn P., de Rijke M, Venema Y. Modal Logic. CUP, 2001.
Blackburn P., de Rijke M, Venema Y. Modal Logic. CUP, 2001.