Scholar
Agi Kurucz
Google Scholar ID: XtbmHWMAAAAJ
Reader in Logic and Computation, King's College London
logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,292
H-index
20
i10-index
31
Publications
20
Co-authors
0
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
