Michael Zakharyaschev
Scholar

Michael Zakharyaschev

Google Scholar ID: bXRDsrEAAAAJ
Birkbeck, University of London
Computer Science LogicKnowledge RepresentationArtificial Intelligence
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
13,633
 
H-index
58
 
i10-index
153
 
Publications
20
 
Co-authors
41
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
41 total
Frank Wolter
Frank Wolter
Department of Computer Science, University of Liverpool
Roman Kontchakov
Roman Kontchakov
Reader, Birkbeck, University of London
Co-author 3
Co-author 3
Alessandro Artale
Alessandro Artale
Associate Professor of Computer Science, Free University of Bozen-Bolzano
Carsten Lutz
Carsten Lutz
Professor of Computer Science, University of Leipzig
Stanislav Kikot
Stanislav Kikot
London Metropolitan University
Diego Calvanese
Diego Calvanese
Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.
Co-author 8
Co-author 8