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

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.