Yavorskaya Tatiana Leonidovna

Presentations in Math-Net.Ru

1. On semantics of first order justification logic with binding modalities
   T. L. Yavorskaya
   Seminars "Proof Theory" and "Logic Online Seminar"
   February 9, 2026 16:00   
2. Lecture 13. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   December 11, 2024 14:45   
3. Lecture 12. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   December 4, 2024 14:45   
4. Lecture 11. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   November 27, 2024 14:45
5. Lecture 10. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   November 20, 2024 14:45   
6. Lecture 9. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   November 13, 2024 14:45   
7. Lecture 8. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   November 6, 2024 14:45   
8. Lecture 7. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   October 30, 2024 14:45   
9. Lecture 6. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   October 23, 2024 14:45   
10. Lecture 5. Foundations of Set Theory
    T. L. Yavorskaya
    Foundations of Set Theory
    October 16, 2024 14:45   
11. Lecture 4. Foundations of Set Theory
    T. L. Yavorskaya
    Foundations of Set Theory
    October 9, 2024 14:45   
12. Lecture 3. Foundations of Set Theory
    T. L. Yavorskaya
    Foundations of Set Theory
    October 2, 2024 14:45   
13. Lecture 2. Foundations of Set Theory
    T. L. Yavorskaya
    Foundations of Set Theory
    September 18, 2024 14:45   
14. Lecture 1. Foundations of Set Theory
    T. L. Yavorskaya
    Foundations of Set Theory
    September 11, 2024 14:45   
15. Lecture 13. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    December 12, 2023 16:45   
16. Lecture 12. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    December 5, 2023 16:45   
17. Lecture 11. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    November 21, 2023 16:45   
18. Lecture 10. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    November 14, 2023 16:45   
19. Lecture 9. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    November 7, 2023 16:45   
20. Lecture 8. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 31, 2023 16:45   
21. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 24, 2023 16:45   
22. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 17, 2023 16:45   
23. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 10, 2023 16:45   
24. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 3, 2023 16:45   
25. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    September 26, 2023 16:45   
26. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    September 19, 2023 16:45   
27. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    September 12, 2023 16:45   
28. Lecture 10. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    May 2, 2023 18:00   
29. Lecture 9. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    April 25, 2023 18:00   
30. Lecture 8. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    April 11, 2023 18:00   
31. Lecture 7. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    April 4, 2023 18:00   
32. Lecture 6. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    March 28, 2023 18:00   
33. Lecture 5. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    March 14, 2023 18:00   
34. Lecture 4. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    March 7, 2023 18:00   
35. Lecture 3. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    February 28, 2023 18:00   
36. Lecture 2. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    February 21, 2023 18:00   
37. Lecture 1. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    February 14, 2023 18:00   
38. Lecture 13. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 13, 2022 14:45   
39. Lecture 12. Provability and Formal Arithmetic
    T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 6, 2022 14:45   
40. Lecture 9. Provability and Formal Arithmetic
    T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 8, 2022 14:45   
41. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 25, 2022 14:45   
42. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 18, 2022 14:45   
43. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 11, 2022 14:45   
44. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 4, 2022 14:45   
45. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 27, 2022 14:45   
46. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 20, 2022 14:45   
47. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 13, 2022 14:45   
48. Lecture 11. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    May 17, 2022 14:45   
49. Lecture 10. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 26, 2022 14:45   
50. Lecture 9. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 19, 2022 14:45   
51. Lecture 8. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 12, 2022 14:45   
52. Lecture 7. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 5, 2022 14:45   
53. Lecture 6. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 22, 2022 14:45   
54. Lecture 5. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 15, 2022 14:45   
55. Lecture 3. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 8, 2022 14:45   
56. Lecture 4. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 1, 2022 14:45   
57. Lecture 2. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    February 15, 2022 14:45   
58. Lecture 14. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 14, 2021 14:45   
59. Lecture 13. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 7, 2021 14:45   
60. Lecture 12. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 30, 2021 14:45   
61. Lecture 11. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 23, 2021 14:45   
62. Lecture 10. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 16, 2021 14:45   
63. Lecture 9. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 9, 2021 14:45   
64. Lecture 8. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 2, 2021 14:45   
65. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 26, 2021 14:45   
66. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 19, 2021 14:45   
67. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 12, 2021 14:45
68. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 5, 2021 14:45   
69. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 28, 2021 14:45   
70. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 21, 2021 14:45   
71. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 14, 2021 14:45   
72. Lecture 11. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    May 17, 2021 11:30   
73. Lecture 10. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 26, 2021 11:30   
74. Lecture 9. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 19, 2021 11:30   
75. Lecture 8. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 12, 2021 11:30   
76. Lecture 7. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 5, 2021 11:30   
77. Lecture 6. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 29, 2021 11:30   
78. Lecture 5. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 22, 2021 11:30   
79. Lecture 4. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 15, 2021 11:30   
80. Lecture 3. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 1, 2021 11:30   
81. Lecture 2. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    February 15, 2021 11:30   
82. Lecture 1. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    February 8, 2021 11:30   
83. First order logic of proofs
    Tatiana Yavorskaya
    International workshop "Logical Models of Reasoning and Computation"
    February 3, 2012 16:15