Zakharyaschev, Michael The greatest extension of S4 into which intuitionistic logic is embeddable. (English) Zbl 0920.03028 Stud. Log. 59, No. 3, 345-358 (1997). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 03B55 PDFBibTeX XMLCite \textit{M. Zakharyaschev}, Stud. Log. 59, No. 3, 345--358 (1997; Zbl 0920.03028) Full Text: DOI
Zakharyaschev, Michael Canonical formulas for \(\mathbf K\mathbf 4\). III: The finite model property. (English) Zbl 0893.03006 J. Symb. Log. 62, No. 3, 950-975 (1997). Reviewer: Michael Zakharyaschev (Moskva) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Zakharyaschev}, J. Symb. Log. 62, No. 3, 950--975 (1997; Zbl 0893.03006) Full Text: DOI
Zakharyaschev, Michael Canonical formulas for K4. II: Cofinal subframe logics. (English) Zbl 0884.03014 J. Symb. Log. 61, No. 2, 421-449 (1996). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Zakharyaschev}, J. Symb. Log. 61, No. 2, 421--449 (1996; Zbl 0884.03014) Full Text: DOI
Chagrov, Alexander; Zakharyaschev, Michael The undecidability of the disjunction property of propositional logics and other related problems. (English) Zbl 0799.03009 J. Symb. Log. 58, No. 3, 967-1002 (1993). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 03B55 03D35 PDFBibTeX XMLCite \textit{A. Chagrov} and \textit{M. Zakharyaschev}, J. Symb. Log. 58, No. 3, 967--1002 (1993; Zbl 0799.03009) Full Text: DOI