Kurucz, Agi

1. The interpolant existence problem for weak K4 and difference logic
   2024/03/17 by Kurucz, Agi, Wolter, Frank, Zakharyaschev, Michael · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. A non-uniform view of Craig interpolation in modal logics with linear frames
   2023/12/10 by Kurucz, Agi, Wolter, Frank, Zakharyaschev, Michael · 2 citations
   #03B45 (Primary) 03C40 (Secondary) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. From Interpolating Formulas to Separating Languages and Back Again
   2025/08/18 by Agi Kurucz, Kurucz, Agi, Frank Wolter +3 · 1 citation
   Mathematics · #History and Theory of Mathematics