Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Yavorskaya, Tatiana Leonidovna
Statistics Math-Net.Ru
Total publications: 4
Scientific articles: 4
Presentations: 75

Number of views:
This page:1729
Abstract pages:845
Full texts:250
References:63
Candidate of physico-mathematical sciences
E-mail:

https://www.mathnet.ru/eng/person37148
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/690376

Publications in Math-Net.Ru Citations
2001
1. S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001),  475–490  mathnet  mathscinet  zmath  isi 15
1998
2. T. L. Sidon, “Nonaxiomatizability of predicate logics of proofs”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, no. 6,  18–22  mathnet  mathscinet  zmath 1
3. T. L. Sidon, “Craig interpolation property for operational logics of proofs”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, no. 2,  34–38  mathnet  mathscinet  zmath 1
1997
4. T. L. Sidon, “Provability logic with operations over proofs”, Fundam. Prikl. Mat., 3:4 (1997),  1173–1197  mathnet  mathscinet  zmath 1

Presentations in Math-Net.Ru
1. Lecture 5. Foundations of Set Theory
T. L. Yavorskaya
Foundations of Set Theory
October 16, 2024 14:45
2. Lecture 4. Foundations of Set Theory
T. L. Yavorskaya
Foundations of Set Theory
October 9, 2024 14:45   
3. Lecture 3. Foundations of Set Theory
T. L. Yavorskaya
Foundations of Set Theory
October 2, 2024 14:45   
4. Lecture 2. Foundations of Set Theory
T. L. Yavorskaya
Foundations of Set Theory
September 18, 2024 14:45   
5. Lecture 1. Foundations of Set Theory
T. L. Yavorskaya
Foundations of Set Theory
September 11, 2024 14:45   
6. 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   
7. 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   
8. 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   
9. 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   
10. 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   
11. 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   
12. 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   
13. 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   
14. 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   
15. 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   
16. 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   
17. 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   
18. 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   
19. Lecture 10. Justification logic
T. L. Yavorskaya
Course by T. L. Yavorskaya "Justification logic"
May 2, 2023 18:00   
20. Lecture 9. Justification logic
T. L. Yavorskaya
Course by T. L. Yavorskaya "Justification logic"
April 25, 2023 18:00   
21. Lecture 8. Justification logic
T. L. Yavorskaya
Course by T. L. Yavorskaya "Justification logic"
April 11, 2023 18:00   
22. Lecture 7. Justification logic
T. L. Yavorskaya
Course by T. L. Yavorskaya "Justification logic"
April 4, 2023 18:00   
23. Lecture 6. Justification logic
T. L. Yavorskaya
Course by T. L. Yavorskaya "Justification logic"
March 28, 2023 18:00   
24. Lecture 5. Justification logic
T. L. Yavorskaya
Course by T. L. Yavorskaya "Justification logic"
March 14, 2023 18:00   
25. Lecture 4. Justification logic
T. L. Yavorskaya
Course by T. L. Yavorskaya "Justification logic"
March 7, 2023 18:00   
26. Lecture 3. Justification logic
T. L. Yavorskaya
Course by T. L. Yavorskaya "Justification logic"
February 28, 2023 18:00   
27. Lecture 2. Justification logic
T. L. Yavorskaya
Course by T. L. Yavorskaya "Justification logic"
February 21, 2023 18:00   
28. Lecture 1. Justification logic
T. L. Yavorskaya
Course by T. L. Yavorskaya "Justification logic"
February 14, 2023 18:00   
29. Lecture 13. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
December 13, 2022 14:45   
30. Lecture 12. Provability and Formal Arithmetic
T. L. Yavorskaya
Provability and Formal Arithmetic
December 6, 2022 14:45   
31. Lecture 9. Provability and Formal Arithmetic
T. L. Yavorskaya
Provability and Formal Arithmetic
November 8, 2022 14:45   
32. Lecture 7. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 25, 2022 14:45   
33. Lecture 6. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 18, 2022 14:45   
34. Lecture 5. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 11, 2022 14:45   
35. Lecture 4. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 4, 2022 14:45   
36. Lecture 3. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
September 27, 2022 14:45   
37. Lecture 2. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
September 20, 2022 14:45   
38. Lecture 1. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
September 13, 2022 14:45   
39. Lecture 11. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
May 17, 2022 14:45   
40. Lecture 10. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 26, 2022 14:45   
41. Lecture 9. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 19, 2022 14:45   
42. Lecture 8. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 12, 2022 14:45   
43. Lecture 7. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 5, 2022 14:45   
44. Lecture 6. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 22, 2022 14:45   
45. Lecture 5. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 15, 2022 14:45   
46. Lecture 3. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 8, 2022 14:45   
47. Lecture 4. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 1, 2022 14:45   
48. Lecture 2. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
February 15, 2022 14:45   
49. Lecture 14. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
December 14, 2021 14:45   
50. Lecture 13. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
December 7, 2021 14:45   
51. Lecture 12. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
November 30, 2021 14:45   
52. Lecture 11. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
November 23, 2021 14:45   
53. Lecture 10. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
November 16, 2021 14:45   
54. Lecture 9. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
November 9, 2021 14:45   
55. Lecture 8. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
November 2, 2021 14:45   
56. Lecture 7. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 26, 2021 14:45   
57. Lecture 6. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 19, 2021 14:45   
58. Lecture 5. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 12, 2021 14:45
59. Lecture 4. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 5, 2021 14:45   
60. Lecture 3. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
September 28, 2021 14:45   
61. Lecture 2. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
September 21, 2021 14:45   
62. Lecture 1. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
September 14, 2021 14:45   
63. Lecture 11. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
May 17, 2021 11:30   
64. Lecture 10. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 26, 2021 11:30   
65. Lecture 9. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 19, 2021 11:30   
66. Lecture 8. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 12, 2021 11:30   
67. Lecture 7. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 5, 2021 11:30   
68. Lecture 6. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 29, 2021 11:30   
69. Lecture 5. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 22, 2021 11:30   
70. Lecture 4. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 15, 2021 11:30   
71. Lecture 3. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 1, 2021 11:30   
72. Lecture 2. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
February 15, 2021 11:30   
73. Lecture 1. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
February 8, 2021 11:30   
74. Обзор курса и ответы на вопросы
S. L. Kuznetsov, T. Yavorskaya

May 14, 2020 16:00   
75. First order logic of proofs
Tatiana Yavorskaya
International workshop "Logical Models of Reasoning and Computation"
February 3, 2012 16:15   

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024