References
L. Maksimova, “Strongly decidable properties of modal and intuitionistic calculi,” Log. J. IGPL, 8, No. 6, 797-819 (2000).
D. M. Gabbay and L. Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Clarendon Press, Oxford (2005).
L. L. Maksimova and V. F. Yun, “Recognizable logics,” Algebra and Logic, 54, No. 2, 167-182 (2015).
L. L. Maksimova and V. F. Yun, “Strong decidability and strong recognizability,” to appear in Algebra and Logic.
S. Odintsov and V. Rybakov, “Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic IPC +,” Ann. Pure Appl. Log., 164, Nos. 7/8, 771-784 (2013).
L. L. Maksimova, “Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras,” Algebra and Logic, 16, No. 6, 427-455 (1977).
L. L. Maksimova and V. F. Yun, “The tabularity problem over the minimal logic,” Sib. Math. J., 57, No. 6, 1034-1043 (2016).
L. L. Maksimova, “Decidability of the weak interpolation property over the minimal logic,” Algebra and Logic, 50, No. 2, 106-132 (2011).
L. L. Maksimova, “The projective Beth property in well-composed logics,” Algebra and Logic, 52, No. 2, 116-136 (2013).
L. L. Maksimova, “Pretable extensions of the Lewis logic S4,” Algebra and Logic, 14, No. 1, 16-33 (1975).
L. Esakia and V. Meskhi, “Five critical modal systems,” Theoria, 43, No. 1, 52-60 (1977).
L. L. Maksimova, “Restricted interpolation over modal logic S4,” Algebra and Logic, 52, No. 4, 308-335 (2013).
A. V. Karpenko, “Interpolation in weakly transitive modal logics,” Algebra and Logic, 51, No. 2, 131-143 (2012).
V. V. Rybakov, Admissibility of Logical Inference Rules, Stud. Log. Found. Math., 136, Elsevier, Amsterdam (1997).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 56, No. 3, pp. 367-374, May-June, 2017.
Rights and permissions
About this article
Cite this article
Maksimova, L.L. Recognizable and Perceptible Logics and Varieties. Algebra Logic 56, 245–250 (2017). https://doi.org/10.1007/s10469-017-9444-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-017-9444-7