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

Аннотация

В настоящей работе мы представляем аксиоматизацию гильбертовского типа полимодальной логики $\mathbf{К}^{\#}$ с "экзистенциальной" модальностью - модальностью, позволяющей записывать утверждения вида "формула $\varphi$ истинна в мире, достижимом по какому-то отношению достижимости" - и доказываем ее полноту. Мы также доказываем полноту расширения $\mathbf{К}^{\#}$, получаемого за счет добавления к $\mathbf{К}^{\#}$ "аксиомы детерминизма".