ИСТИНА

Захарьящев Михаил Викторович

Соавторы: Чагров А.В., Wolter F., Кикоть С.П., Кончаков Р.В., Gottlob G., Kurucz A., Schwentick T., Золин Е.Е., Конев Б.Ю., Подольский В.В., Царьков Д.В., Янов Ю.И.

13 статей, 2 книги, 6 тезисов докладов, 1 учебный курс

Количество цитирований статей в журналах по данным Web of Science: 54, Scopus: 129

IstinaResearcherID (IRID): 8875198

Деятельность

• Статьи в журналах

  • 
    • 2014 The price of query rewriting in ontology-based data access
    • Gottlob Georg, Kikot Stanislav, Kontchakov Roman, Podolskii Vladimir, Schwentick Thomas, Zakharyaschev Michael
    • в журнале Artificial Intelligence, издательство Elsevier BV (Netherlands), том 213, с. 42-59 DOI
  • 
    • 1995 On the independent axiomatizability of modal and intermediate logics
    • Chagrov Alexander, Zakharyaschev Michael
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 5, № 3, с. 287-302 DOI
  • 
    • 1993 The Sahlqvist formulas are not so elementary
    • Chagrov Alexander, Zakharyaschev Michael
    • в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 58, № 3, с. 1137-1138 DOI
  • 
    • 1993 The undecidability of the disjunction property of propositional logics and other related problems
    • Chagrov Alexander, Zakharyaschev Michael
    • в журнале Journal of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 58, № 3, с. 967-1002 DOI
  • 
    • 1992 Modal companions of intermediate propositional logics
    • Chagrov Alexander, Zakharyaschev Michael
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 51, № 1, с. 49-82 DOI
  • 
    • 1991 The disjunction property of intermediate propositional logics
    • Chagrov Alexander, Zakharyaschev Michael
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 50, № 2, с. 189-216 DOI
  • 
    • 1990 On Halldén-completness of intermediate and modal logics
    • Chagov Alexander, Zakharyaschev Michael
    • в журнале Bulletin of the section of logic, том 19, № 1, с. 21-24

• Статьи в сборниках

  • • 2018 On strictly positive modal logics with S4.3 frames
    • Kikot Stanislav, Kurucz Agi, Wolter Frank, Zakharyaschev Michael
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 12, с. 427-446
  • 
    • 2013 Query Answering via Modal Definability with FaCT++: First Blood
    • Kikot Stanislav, Tsarkov Dmitry, Zakharyaschev Michael, Zolin Evgeny
    • в сборнике Proceedings of the 26th International Workshop on Description Logics (DL 2013), серия CEUR Workshop Proceedings (CEUR-WS.org), место издания CEUR-WS.org, том 1014, с. 328-340
  • • 2006 Dynamic topological logics over spaces with continuous functions
    • Konev Boris, Kontchakov Roman, Wolter Frank, Zakharyaschev Michael
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 299-318
  • 
    • 2001 Advanced Modal Logic
    • Zakharyaschev Michael, Wolter Frank, Chagrov Alexander
    • в сборнике Handbook of Philosophical Logic, 2nd edition, Volume 3, Gabbay D.M., Guenthner F. (eds.), издательство Kluwer Academic Publisher (Dordrecht, Netherlands), с. 83-266
  • • 1997 Canonical formulas for modal and superintuitionistic logics: A short outline
    • Zakharyaschev Michael
    • в сборнике Advances in Intensional Logic, серия Applied Logic Series, место издания Springer Dordrecht, том 7, с. 195-248 DOI
  • • 1996 Sahlqvist formulas are not so elementary even above S4
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике Logic Colloquium '92, серия Studies in Logic Language and Information, место издания CSLI Publications, с. 61-73

• Книги

  • • 1997 Modal Logic (Oxford Logic Guides, vol. 35)
    • Chagrov Alexander, Zakharyaschev Michael
    • место издания Oxford University Press Oxford, ISBN 0-19-853779-4, 605 с.
  • • 1991 Математическая логика в программировании: Сборник статей
    • Захарьящев Михаил Викторович, Янов Юрий Иванович
    • место издания Мир Москва, ISBN 5-03-001635-Х, 408 с.

• Тезисы докладов

  • • 1992 The Sahlqvist formulas are not so elementary
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике The 1992 Europian Summer Meeting of the ASL, August 9-15, 1992. Abstracts, место издания J.Bolyai Mathematical Society, тезисы, с. 75
  • • 1990 An essay in complexity aspects of modal and intermediate calculi
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике Proceedings of the Fourth Asian Logic Conference, место издания CSK Educational Center Tokyo, тезисы, с. 26-29
  • • 1990 Modal companions of intermediate logics: A survey
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике Third Logical Biennial, Summer school and conference in honour of S. C. Kleene, June 6-15, 1990, Varna, Bulgaria. Abstracts, место издания Sofia, Bulgaria, тезисы, с. 15
  • • 1990 О полноте по Холдену
    • Захарьящев Михаил Викторович, Чагров Александр Васильевич
    • в сборнике Десятая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Алма-Ата, Гылым, тезисы, с. 70
  • • 1989 Five theorems about the disjunction property of intermediate logics
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике Международная конференция по алгебре, посвященная памяти А.И.Мальцева (1909-1967). Тезисы докладов по теории моделей и алгебраических систем, место издания ИМ СО АН СССР Новосибирск, тезисы, с. 45
  • • 1989 Five theorems about the disjunction property of intermediate logics
    • Chagrov Alexander, Zakharyaschev Michael
    • в сборнике Logic Colloquium '89. Abstracts of contributed papers, серия Logic Colloquium, место издания Berlin, тезисы

• Авторство учебных курсов

  • • 1998 Математическая логика и логическое программирование
    • Авторы: Захарьящев М.В., Захаров В.А.