Agi Kurucz
Scholar

Agi Kurucz

Google Scholar ID: XtbmHWMAAAAJ
Reader in Logic and Computation, King's College London
logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
369
 
H-index
13
 
i10-index
14
 
Publications
20
 
Co-authors
0
 
Contact
Emailagi.kurucz@kcl.ac.ukGitHubOpen ↗
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)
Academic Achievements
  • Recent technical reports and publications (specific list not provided)
Background
  • Research interests: Axiomatisation, expressiveness and decision problems; Modal and temporal logics; Algebraic and first-order logic; Universal algebra and model theory; Metamathematics of arithmetic, foundations of mathematics.
Miscellany
  • Teaching: Foundations of Computing I (4CCS1FC1) in the 1st term of 2025/26 academic year
Co-authors
0 total
Co-authors: 0 (list not available)