Артемов Сергей Николаевич

Доклады и лекции в базе данных Math-Net.Ru

1. Representing and proving the consistency of $\mathsf{PA}$ in $\mathsf{PA}$
   S. N. Artemov
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   22 сентября 2025 г. 16:00   
2. Hyperderivations for Epistemic Logic
   С. Н. Артемов
   Конференция международных математических центров мирового уровня
   9 августа 2021 г. 17:30
3. Rebuilding epistemic logic
   Sergei N. Artemov
   Logical Perspectives 2018
   18 мая 2018 г. 15:00