Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 7
Number of items: 7
  • Ilin, J., de Jongh, D., & Yang, F. (2021). NNIL-formulas revisited: Universal models and finite model property. Journal of Logic and Computation, 31(2), 573–596. https://doi.org/10.1093/logcom/exaa063
  • Bezhanishvili, G., Bezhanishvili, N., & Ilin, J. (2019). Subframization and stabilization for superintuitionistic logics. Journal of Logic and Computation, 29(1), 1-35. https://doi.org/10.1093/logcom/exy035
  • Open Access
    Bezhanishvili, G., Harding, J., Ilin, J., & Lauridsen, F. M. (2018). MacNeille transferability and stable classes of Heyting algebras. Algebra Universalis, 79(3), Article 55. https://doi.org/10.1007/s00012-018-0534-8
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., & Ilin, J. (2018). Stable modal logics. Review of Symbolic Logic, 11(3), 436-469. https://doi.org/10.1017/S1755020317000375
  • Open Access
    Ilin, J. (2018). Filtration revisited: Lattices of stable non-classical logics. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Baltag, A., Bezhanishvili, N., Ilin, J., & Özgün, A. (2017). Quotient dynamics: the logic of abstraction. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 181-194). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_13
  • Open Access
    Bezhanishvili, G., Bezhanishvili, N., & Ilin, J. (2016). Cofinal stable logics. Studia Logica, 104(6), 1287–1317. https://doi.org/10.1007/s11225-016-9677-9
Page of