×

Yun, Veta Fëdorovna

Author ID: yun.veta-f Recent zbMATH articles by "Yun, Veta Fëdorovna"
Published as: Yun, V. F.; Yun, Veta Fedorovna; Yun, Veta F.
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

Publications by Year

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

Citations by Year