Artemov Sergei Nikolaevich

Presentations in Math-Net.Ru

1. Representing and proving the consistency of $\mathsf{PA}$ in $\mathsf{PA}$
   S. N. Artemov
   Seminars "Proof Theory" and "Logic Online Seminar"
   September 22, 2025 16:00   
2. Rebuilding epistemic logic
   Sergei N. Artemov
   Logical Perspectives 2018
   May 18, 2018 15:00