Edit Profile (opens in new tab) Yun, Veta Fëdorovna Co-Author Distance Author ID: yun.veta-f Published as: Yun, V. F.; Yun, Veta Fedorovna; Yun, Veta F. more...less External Links: Math-Net.Ru Documents Indexed: 21 Publications since 2009 Co-Authors: 1 Co-Author with 15 Joint Publications 64 Co-Co-Authors Co-Authors 6 single-authored 15 Maksimova, Larisa L’vovna Serials 8 Siberian Mathematical Journal 8 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 Algebra and Logic Fields 21 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 18 Publications have been cited 59 times in 21 Documents Cited by ▼ Year ▼ Recognizable logics. Zbl 1347.03055 Maksimova, L. L.; Yun, V. F. 16 2015 Strong decidability and strong recognizability. Zbl 1420.03046 Maksimova, L. L.; Yun, V. F. 8 2017 Layers over minimal logic. Zbl 1396.03067 Maksimova, L. L.; Yun, V. F. 6 2016 The tabularity problem over the minimal logic. Zbl 1420.03024 Maksimova, L. L.; Yun, Veta F. 4 2016 WIP-minimal logics and interpolation. Zbl 1345.03040 Maksimova, L. L.; Yun, V. F. 4 2015 Extensions of the minimal logic and the interpolation problem. Zbl 1469.03078 Maksimova, L. L.; Yun, V. F. 3 2018 Interpolation over the minimal logic and Odintsov intervals. Zbl 1351.03018 Maksimova, L. L.; Yun, V. F. 3 2015 Calculi over minimal logic and nonembeddability of algebras. Zbl 1390.03026 Maksimova, Larisa L’vovna; Yun, Veta Fedorovna 3 2016 Slices and levels of extensions of the minimal logic. Zbl 1420.03047 Maksimova, L. L.; Yun, V. F. 2 2017 The temporal logic of linear time frames with inductions axiom. Zbl 1299.03006 Yun, V. F. 2 2009 The interpolation problem in finite-layered pre-Heyting logics. Zbl 1468.03030 Maksimova, L. L.; Yun, V. F. 1 2019 Perceptibility in pre-Heyting logics. Zbl 1443.03016 Maksimova, L. L.; Yun, V. F. 1 2020 Strong computability of slices over the logic GL. Zbl 1397.03048 Maksimova, Larisa L’vovna; Yun, Veta Fedorovna 1 2018 Recognizability of all WIP-minimal logics. Zbl 1523.03008 Yun, V. F. 1 2018 The temporal logic of inductive frames with linear time. Zbl 1329.03055 Yun, V. F. 1 2010 Polymodal logic of the class of inductive linear time frames. Zbl 1345.03032 Yun, V. F. 1 2015 On the linear logic of knowledge and time with intransitive time relation. Zbl 1328.03016 Yun, V. F. 1 2015 Recognizability in pre-Heyting and well-composed logics. Zbl 1432.03018 Maksimova, Larisa L’vovna; Yun, Veta Fedorovna 1 2019 Perceptibility in pre-Heyting logics. Zbl 1443.03016 Maksimova, L. L.; Yun, V. F. 1 2020 The interpolation problem in finite-layered pre-Heyting logics. Zbl 1468.03030 Maksimova, L. L.; Yun, V. F. 1 2019 Recognizability in pre-Heyting and well-composed logics. Zbl 1432.03018 Maksimova, Larisa L’vovna; Yun, Veta Fedorovna 1 2019 Extensions of the minimal logic and the interpolation problem. Zbl 1469.03078 Maksimova, L. L.; Yun, V. F. 3 2018 Strong computability of slices over the logic GL. Zbl 1397.03048 Maksimova, Larisa L’vovna; Yun, Veta Fedorovna 1 2018 Recognizability of all WIP-minimal logics. Zbl 1523.03008 Yun, V. F. 1 2018 Strong decidability and strong recognizability. Zbl 1420.03046 Maksimova, L. L.; Yun, V. F. 8 2017 Slices and levels of extensions of the minimal logic. Zbl 1420.03047 Maksimova, L. L.; Yun, V. F. 2 2017 Layers over minimal logic. Zbl 1396.03067 Maksimova, L. L.; Yun, V. F. 6 2016 The tabularity problem over the minimal logic. Zbl 1420.03024 Maksimova, L. L.; Yun, Veta F. 4 2016 Calculi over minimal logic and nonembeddability of algebras. Zbl 1390.03026 Maksimova, Larisa L’vovna; Yun, Veta Fedorovna 3 2016 Recognizable logics. Zbl 1347.03055 Maksimova, L. L.; Yun, V. F. 16 2015 WIP-minimal logics and interpolation. Zbl 1345.03040 Maksimova, L. L.; Yun, V. F. 4 2015 Interpolation over the minimal logic and Odintsov intervals. Zbl 1351.03018 Maksimova, L. L.; Yun, V. F. 3 2015 Polymodal logic of the class of inductive linear time frames. Zbl 1345.03032 Yun, V. F. 1 2015 On the linear logic of knowledge and time with intransitive time relation. Zbl 1328.03016 Yun, V. F. 1 2015 The temporal logic of inductive frames with linear time. Zbl 1329.03055 Yun, V. F. 1 2010 The temporal logic of linear time frames with inductions axiom. Zbl 1299.03006 Yun, V. F. 2 2009 all cited Publications top 5 cited Publications all top 5 Cited by 6 Authors 15 Maksimova, Larisa L’vovna 13 Yun, Veta Fëdorovna 1 Bashmakov, Stepan Igorevich 1 Fallahi, Asadollah 1 Rybakov, Vladimir Vladimirovich 1 Zvereva, Tatyana Yu. Cited in 5 Serials 8 Siberian Mathematical Journal 6 Algebra and Logic 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Bulletin of the Section of Logic 1 Journal of Applied Non-Classical Logics Cited in 3 Fields 21 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Computer science (68-XX) Citations by Year