Об эффективных теоремах о дедукции в нормальных модальных логиках.
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Chagrov A. Об эффективных теоремах о дедукции в нормальных модальных логиках. // Logicheskie Issledovaniya / Logical Investigations. 2000. VOL. 7. C. 209-216.
Issue
Section
Papers