References
L. L. Maksimova, “An analog of Beth’s theorem in normal extensions of the modal logicK4,” Sibirsk. Mat. Zh.,33, No. 6, 118–130 (1992).
W. E. Beth, “On Padoa’s method in the theory of definitions,” Indag. Math.,15, No. 4, 330–339 (1953).
V. Yu. Meskhi, “Algebraic analysis of modal fragments of tense logics,” in: Logic, Semantic, and Methodology [in Russian], Metsniereba, Tbilisi, 1978, pp. 113–124.
L. L. Maksimova, “Interpolation in modal infinite slice logics containing the logicK4,” in: Mathematical Logic and Algorithmic Problems [in Russian], Nauka, Novosibirsk, 1989, pp. 72–91.
K. Segerberg, An Essay in Classical Modal Logic, Uppsala (1971).
L. L. Maksimova, “Modal logics of finite slices,” Algebra i Logika,14, No. 3, 304–319 (1975).
M. F. Ratsa, Expressibility in Sentential Calculuses [in Russian], Shtiintsa, Kishinëv (1991).
Additional information
The research was supported by the Russian Humanitarian Science Foundation (Grant No. 97-03-04089).
Novosibirsk. Translated fromSibirskiî Matematicheskiî Zhurnal, Vol. 38, No. 3, pp. 598–602, May–June, 1997.
Rights and permissions
About this article
Cite this article
Maksimova, L.L. Explicit definitions of implicitly definable objects in some modal logics. Sib Math J 38, 513–517 (1997). https://doi.org/10.1007/BF02683839
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02683839