Yun Veta Fedorovna

Publications in Math-Net.Ru

1. Craig's interpolation property in pretabular logics
   
   Sibirsk. Mat. Zh., 65:2 (2024),  349–357
2. Pretabularity and Craig’s interpolation property
   
   Algebra Logika, 62:3 (2023),  415–423
3. Pretabularity and Craig's interpolation problem over the minimal logic
   
   Sib. Èlektron. Mat. Izv., 20:1 (2023),  245–250
4. Algorithms for recognizing restricted interpolation over the modal logic S4
   
   Sibirsk. Mat. Zh., 63:2 (2022),  344–359
5. Hybrid extensions of the minimal logic
   
   Sibirsk. Mat. Zh., 62:5 (2021),  1084–1090
6. Perceptibility in pre-Heyting logics
   
   Sib. Èlektron. Mat. Izv., 17 (2020),  1064–1072
7. The interpolation problem in finite-layered pre-Heyting logics
   
   Algebra Logika, 58:2 (2019),  210–228
8. Recognizability in pre-Heyting and well-composed logics
   
   Sib. Èlektron. Mat. Izv., 16 (2019),  427–434
9. Strong computability of slices over the logic $\mathrm{GL}$
   
   Sib. Èlektron. Mat. Izv., 15 (2018),  35–47
10. Extensions of the minimal logic and the interpolation problem
    
    Sibirsk. Mat. Zh., 59:4 (2018),  863–878
11. Recognizability of all WIP-minimal logics
    
    Sibirsk. Mat. Zh., 59:1 (2018),  225–237
12. Strong decidability and strong recognizability
    
    Algebra Logika, 56:5 (2017),  559–581
13. Slices and levels of extensions of the minimal logic
    
    Sibirsk. Mat. Zh., 58:6 (2017),  1341–1353
14. Layers over minimal logic
    
    Algebra Logika, 55:4 (2016),  449–464
15. Calculi over minimal logic and nonembeddability of algebras
    
    Sib. Èlektron. Mat. Izv., 13 (2016),  704–715
16. The tabularity problem over the minimal logic
    
    Sibirsk. Mat. Zh., 57:6 (2016),  1320–1332
17. Recognizable logics
    
    Algebra Logika, 54:2 (2015),  252–274
18. Polymodal logic of the class of inductive linear time frames
    
    Sib. Èlektron. Mat. Izv., 12 (2015),  421–431
19. WIP-minimal logics and interpolation
    
    Sib. Èlektron. Mat. Izv., 12 (2015),  7–20
20. On the linear logic of knowledge and time with intransitive time relation
    
    Sibirsk. Mat. Zh., 56:3 (2015),  715–719
21. Interpolation over the minimal logic and Odintsov intervals
    
    Sibirsk. Mat. Zh., 56:3 (2015),  600–616
22. The temporal logic of inductive frames with linear time
    
    Sib. Èlektron. Mat. Izv., 7 (2010),  445–457
23. Temporal logic of linear time frames with inductions axiom
    
    Sib. Èlektron. Mat. Izv., 6 (2009),  312–325


24. Larisa L'vovna Maksimova (obituary)
    
    Uspekhi Mat. Nauk, 80:3(483) (2025),  179–182