Julia Ilin
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS Journal of Symbolic Logic | 2023-02-27 | Paper |
| NNIL-formulas revisited: Universal models and finite model property Journal Of Logic And Computation | 2021-04-09 | Paper |
| Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations (available as arXiv preprint) | 2021-03-21 | Paper |
| NNIL-formulas revisited: universal models and finite model property (available as arXiv preprint) | 2019-08-05 | Paper |
| \textsf{NNIL} axioms have the finite model property | 2019-07-24 | Paper |
| Subframization and stabilization for superintuitionistic logics Journal Of Logic And Computation | 2019-03-01 | Paper |
| MacNeille transferability and stable classes of Heyting algebras Algebra Universalis | 2018-10-30 | Paper |
| Stable modal logics The Review of Symbolic Logic | 2018-10-25 | Paper |
| Quotient dynamics: the logic of abstraction | 2017-11-22 | Paper |
| Cofinal stable logics Studia Logica | 2017-03-02 | Paper |
Research outcomes over time
This page was built for person: Julia Ilin
