О модальных логиках с экзистенциальной модальностью.

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.