Dmitry Shkatov

Associate Professor at the Univerisity of the Witwatersrand, Johannesburg

https://orcid.org/0000-0002-0559-1503

Research interests

• First-order modal and superintuitionistic logics
• Algorithmic properties of logics and theories of algebraic structures
• Logics for reasoning about multi-agent systems

Publications

Events

• ESSLLI2024 course Computational aspects of first-order modal logics (co-taught with Mikhail Rybakov)
• The 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024) (PC member)
• Semantical and Computational Aspects of Non-Classical Logics 2023 (SCAN 2023) (invited speaker)
• ESSLLI2023 workshop First-order Modal and Temporal Logics: State of the art and perspectives (FOMTL 2023) (PC co-chair)
• ESSLLI2023 course First-order Modal and Temporal Logics: Philosophical and Computational Aspects (co-taught with Valentin Goranko)

Recent talks

• Kripke completeness, canonicity, and quasi-canonicity in first-order modal logic (First Order Modal Logic Seminar, online) [Slides]
• Kripke (in)completeness of predicate modal logics with axioms of bounded alternativity (First-order Modal and Temporal Logics: State of the art and perspectives, FOMTL 2023, Ljubjana) [Slides]
• Computational complexity of theories of residuated structures (Semantical and Computational Aspects of Non-Classical Logics 2023, SCAN 2023, invited talk) [Slides]
• Undecidability of predicate modal and superintuitionistic logics with a single monadic letter and two variables (LLAMA seminar, ILLC, University of Amsterdam) [Slides]
• Computational complexity of universal theories of residuated structures (UPenn Logic and Computation seminar) [Slides]