Грефенштейн Александр Витальевич

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

1. Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов — 2
   А. В. Грефенштейн
   Рабочий семинар по математической логике
   25 марта 2025 г. 16:00   
2. Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов — 1
   А. В. Грефенштейн
   Рабочий семинар по математической логике
   18 марта 2025 г. 16:00   
3. Кванторные логики для рассуждений о знании и вероятности в духе Хальперна–2
   А. В. Грефенштейн
   Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
   28 февраля 2024 г. 18:15
4. Кванторные логики для рассуждений о знании и вероятности в духе Хальперна
   А. В. Грефенштейн
   Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
   21 февраля 2024 г. 18:15
5. On the quantified version of the Belnap-Dunn modal logic and some extensions of it
   A. V. Grefenshtein
   Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
   13 июня 2023 г. 12:00   
6. Соотношения между иерархией Хомского и грамматиками Ламбека
   А. В. Грефенштейн
   Семинар С. Л. Кузнецова и С. О. Сперанского "Логические и алгебраические методы в языкознании"
   1 марта 2023 г. 18:00   
7. Семинар 3. Интуиционистская логика и некоторые конструктивные логики на её основе
   А. В. Грефенштейн
   Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
   28 сентября 2022 г. 18:00