Об эффективных теоремах о дедукции в нормальных модальных логиках.

##plugins.themes.bootstrap3.article.main##

A.V. Chagrov

Abstract

Questions about effective variants of deduction theorem for normal modal logics are discussed. Some proof of an external deduction theorem for minimal normal modal logic \textbf{К} - a formula $\Psi$ is deducible from $\phi$ in \textbf{К} iff the formula $\square^*\phi\rightarrow\psi$ belongs to the dynamic logic - is given.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers