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

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

1. Кванторные логики для рассуждений о знании и вероятности в духе Хальперна–2
   А. В. Грефенштейн
   Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
   28 февраля 2024 г. 18:15
2. Кванторные логики для рассуждений о знании и вероятности в духе Хальперна
   А. В. Грефенштейн
   Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
   21 февраля 2024 г. 18:15
3. 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   
4. Соотношения между иерархией Хомского и грамматиками Ламбека
   А. В. Грефенштейн
   Семинар С. Л. Кузнецова и С. О. Сперанского "Логические и алгебраические методы в языкознании"
   1 марта 2023 г. 18:00   
5. Семинар 3. Интуиционистская логика и некоторые конструктивные логики на её основе
   А. В. Грефенштейн
   Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
   28 сентября 2022 г. 18:00