Об эффективных теоремах о дедукции в нормальных модальных логиках.
Main Article Content
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.
Downloads
Download data is not yet available.
Article Details
How to Cite
Chagrov A. Об эффективных теоремах о дедукции в нормальных модальных логиках. // Logicheskie Issledovaniya / Logical Investigations. 2000. VOL. 7. C. 209-216.
Issue
Section
Papers