Scholar
Michael Zakharyaschev
Google Scholar ID: bXRDsrEAAAAJ
Birkbeck, University of London
Computer Science Logic
Knowledge Representation
Artificial Intelligence
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
13,633
H-index
58
i10-index
153
Publications
20
Co-authors
41
list available
Publications
3 items
From Interpolating Formulas to Separating Languages and Back Again
2025
Cited
0
A non-uniform view of Craig interpolation in modal logics with linear frames
arXiv.org · 2023
Cited
3
Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
2023
Cited
3
Co-authors
13 total
Frank Wolter
Department of Computer Science, University of Liverpool
Roman Kontchakov
Reader, Birkbeck, University of London
Alessandro Artale
Associate Professor of Computer Science, Free University of Bozen-Bolzano
Carsten Lutz
Professor of Computer Science, University of Leipzig
Stanislav Kikot
London Metropolitan University
Diego Calvanese
Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.
Guohui Xiao
Professor of Computer Science, Southeast University, China
Vladimir Podolskii
Tufts University
