Frank Wolter
Scholar

Frank Wolter

Google Scholar ID: A6cSqMUAAAAJ
Department of Computer Science, University of Liverpool
Artificial IntelligenceLogic in Computer ScienceKnowledge RepresentationModal LogicLogic
Google Scholar↗
Citations & Impact
All-time
Citations
3,497
 
H-index
31
 
i10-index
105
 
Publications
20
 
Co-authors
30
list available
Contact
No contact links provided.
Publications
8 items
Computation and Size of Interpolants for Hybrid Modal Logics
2026
Cited
0
The Size of Interpolants in Modal Logics
2025
Cited
0
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
2025
Cited
0
From Interpolating Formulas to Separating Languages and Back Again
2025
Cited
0
Interpolation in Classical Propositional Logic
2025
Cited
0
Computation of Interpolants for Description Logic Concepts in Hard Cases
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
30 total
Michael Zakharyaschev
Michael Zakharyaschev
Birkbeck, University of London
Carsten Lutz
Carsten Lutz
Professor of Computer Science, University of Leipzig
Roman Kontchakov
Roman Kontchakov
Reader, Birkbeck, University of London
Boris Konev
Boris Konev
Professor of Computer Science, Liverpool University
Alessandro Artale
Alessandro Artale
Associate Professor of Computer Science, Free University of Bozen-Bolzano
Co-author 6
Co-author 6
Franz Baader
Franz Baader
Professor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzig
Uli Sattler
Uli Sattler
Professor, IMG, Department of Computer Science, University of Manchester