Shamkanov Daniyar Salkarbekovich

Presentations in Math-Net.Ru

1. Lecture 13. Neighbourhood semantics of modal logics
   A. V. Kudinov, D. S. Shamkanov
   Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
   December 12, 2023 18:30   
2. Lecture 12. Neighbourhood semantics of modal logics
   A. V. Kudinov, D. S. Shamkanov
   Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
   December 5, 2023 18:30   
3. Lecture 11. Neighbourhood semantics of modal logics
   A. V. Kudinov, D. S. Shamkanov
   Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
   November 28, 2023 18:30   
4. Lecture 10. Neighbourhood semantics of modal logics
   A. V. Kudinov, D. S. Shamkanov
   Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
   November 21, 2023 18:30   
5. Lecture 9. Neighbourhood semantics of modal logics
   A. V. Kudinov, D. S. Shamkanov
   Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
   November 14, 2023 18:30   
6. Lecture 8. Neighbourhood semantics of modal logics
   A. V. Kudinov, D. S. Shamkanov
   Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
   November 7, 2023 18:30   
7. Lecture 7. Neighbourhood semantics of modal logics
   A. V. Kudinov, D. S. Shamkanov
   Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
   October 24, 2023 18:30   
8. Lecture 6. Neighbourhood semantics of modal logics
   A. V. Kudinov, D. S. Shamkanov
   Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
   October 17, 2023 18:30   
9. Lecture 5. Neighbourhood semantics of modal logics
   A. V. Kudinov, D. S. Shamkanov
   Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
   October 10, 2023 18:30   
10. Lecture 4. Neighbourhood semantics of modal logics
    A. V. Kudinov, D. S. Shamkanov
    Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
    October 3, 2023 18:30   
11. Lecture 3. Neighbourhood semantics of modal logics
    A. V. Kudinov, D. S. Shamkanov
    Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
    September 26, 2023 18:30   
12. Lecture 2. Neighbourhood semantics of modal logics
    A. V. Kudinov, D. S. Shamkanov
    Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
    September 19, 2023 18:30   
13. Lecture 1. Neighbourhood semantics of modal logics
    A. V. Kudinov, D. S. Shamkanov
    Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics"
    September 12, 2023 18:30   
14. Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs
    Pavel Razumnyy, Daniyar Shamkanov
    Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
    June 15, 2023 16:30   
15. On cyclic proofs in classical first order arithmetic with inductive definitions (continuation)
    D. S. Shamkanov
    Seminars "Proof Theory" and "Logic Online Seminar"
    October 24, 2022 18:30   
16. On cyclic proofs in classical first order arithmetic with inductive definitions
    D. S. Shamkanov
    Seminars "Proof Theory" and "Logic Online Seminar"
    October 17, 2022 18:30   
17. Lecture 14. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    December 14, 2020 16:30   
18. Lecture 13. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    December 7, 2020 16:30   
19. Lecture 12. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    November 30, 2020 16:30   
20. Lecture 11. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    November 23, 2020 16:30   
21. Lecture 10. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    November 9, 2020 16:30   
22. Lecture 9. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    November 2, 2020 16:30   
23. Lecture 8. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    October 26, 2020 16:30   
24. Lecture 7. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    October 19, 2020 16:30   
25. Lecture 6. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    October 12, 2020 16:30   
26. Lecture 5. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    October 5, 2020 16:30   
27. Lecture 4. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    September 28, 2020 16:30   
28. Lecture 3. Circular proofs
    S. L. Kuznetsov, D. S. Shamkanov
    Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
    September 21, 2020 16:30   
29. On a neighborhood semantics of Lindström provability logic
    D. S. Shamkanov
    Seminars "Proof Theory" and "Logic Online Seminar"
    December 9, 2019 18:30   
30. Global completeness of the Gödel-Löb provability logic with respect to its topological semantics
    D. S. Shamkanov
    Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2017
    November 29, 2017 11:30   
31. Constructive modal logic that is similar to provability logic GL
    D. S. Shamkanov
    Seminars "Proof Theory" and "Logic Online Seminar"
    May 23, 2016
32. Lambda calculus, or computational proof theory. Lecture 10
    D. S. Shamkanov
    Special course "Lambda calculus, or computational proof theory", 2015
    April 22, 2015 18:00   
33. On the proof theory of modal logic extended with the least fixed-point operator (Part 2)
    D. S. Shamkanov
    "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
    November 25, 2014 18:30
34. On the proof theory of modal logic extended with the least fixed-point operator
    D. S. Shamkanov
    "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
    November 18, 2014 18:30
35. Circular proofs for provability logic
    D. S. Shamkanov
    Symposium on logic and computability "Logic and Computation Day"
    June 7, 2013 12:15
36. A sequent сalculus for Japaridze's polymodal provability logic
    D. S. Shamkanov
    "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
    November 20, 2012 18:30
37. A sequent сalculus for Gödel-Löb logic
    D. S. Shamkanov
    "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
    November 13, 2012 18:30
38. One-rule term rewriting system with undecidable termination problem
    D. S. Shamkanov
    "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
    October 9, 2012 18:30