All Stories

  1. Deciding Boundedness of Monadic Sirups

    Article • June 2021, ACM (Association for Computing Machinery)

    Agi Kurucz

  2. Horn Fragments of the Halpern-Shoham Interval Temporal Logic

    Article • ACM Transactions on Computational Logic, August 2017, ACM (Association for Computing Machinery)

    Agi Kurucz

  3. Bimodal Logics with a “Weakly Connected” Component without the Finite Model Property

    Article • Notre Dame Journal of Formal Logic, January 2017, Duke University Press

    Agi Kurucz