Agi Kurucz

Identifiers

• name variant Agi Kurucz 0.60 · backfill

Papers (5)

1. A non-uniform view of Craig interpolation in modal logics with linear frames math.LO · 2023 · author #1
2. Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report) cs.LO · 2016 · author #2
3. The decision problem of modal product logics with a diagonal, and faulty counter machines cs.LO · 2015 · author #3
4. Bimodal logics with a `weakly connected' component without the finite model property cs.LO · 2015 · author #1
5. Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting cs.LO · 2014 · author #2

Mentions

• 2312.05929 #1 · arxiv_oai · confidence 0.70 Agi Kurucz
• 1509.02060 #3 · backfill · confidence 0.70 Agi Kurucz
• 1502.05834 #1 · backfill · confidence 0.70 Agi Kurucz
• 1407.1386 #2 · backfill · confidence 0.70 Agi Kurucz

Frequent Coauthors

• Christopher Hampson 2 shared papers
• Michael Zakharyaschev 2 shared papers
• Davide Bresolin 1 shared papers
• Emilio Mu\~noz-Velasco 1 shared papers
• Frank Wolter 1 shared papers
• Guido Sciavicco 1 shared papers
• Stanislav Kikot 1 shared papers
• Vladislav Ryzhikov 1 shared papers