Julia Ilin

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Datalog Queries

Inference Rules

Top Venues

J. Log. Comput.

Rev. Symb. Log.

Publications

Guram Bezhanishvili, Kristina Brantley, Julia Ilin
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. J. Symb. Log. 88 (1) (2023)
Julia Ilin, Dick de Jongh, Fan Yang
NNIL-formulas revisited: Universal models and finite model property. J. Log. Comput. 31 (2) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Subframization and stabilization for superintuitionistic logics. J. Log. Comput. 29 (1) (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Stable Modal Logics. Rev. Symb. Log. 11 (3) (2018)
Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün
Quotient Dynamics: The Logic of Abstraction. LORI (2017)
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Cofinal Stable Logics. Stud Logica 104 (6) (2016)