Захарьящев Михаил В

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

1. Kripke completeness of strictly positive modal logics over meet-semilattices with operators
   M. Zakharyaschev
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   18 октября 2017 г. 15:00   
2. Об аксиоматизации строго позитивных фрагментов модальных логик
   М. В. Захарьящев, С. П. Кикоть
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   26 декабря 2016 г. 18:30
3. Семантические технологии: новая жизнь для математической логики
   Михаил Захарьящев, Станислав Кикоть
   Коллоквиум Факультета компьютерных наук НИУ ВШЭ
   22 декабря 2016 г. 18:10   
4. On ontology-based data access
   Michael Zakharyaschev
   Международная конференция «Logical Models of Reasoning and Computation»
   2 февраля 2012 г. 15:30   
5. Islands of tractability for relational constraints: towards dichotomy results for the description logic $\mathcal{EL}$
   Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
   24 августа 2010 г. 10:50