Julia Ilin

From MaRDI portal
Person:514516

Available identifiers

zbMath Open ilin.juliaMaRDI QIDQ514516

List of research outcomes





PublicationDate of PublicationType
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS2023-02-27Paper
NNIL-formulas revisited: Universal models and finite model property2021-04-09Paper
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations2021-03-21Paper
NNIL-formulas revisited: universal models and finite model property2019-08-05Paper
https://portal.mardi4nfdi.de/entity/Q52246942019-07-24Paper
Subframization and stabilization for superintuitionistic logics2019-03-01Paper
MacNeille transferability and stable classes of Heyting algebras2018-10-30Paper
STABLE MODAL LOGICS2018-10-25Paper
Quotient dynamics: the logic of abstraction2017-11-22Paper
Cofinal stable logics2017-03-02Paper

Research outcomes over time

This page was built for person: Julia Ilin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:514516&oldid=7491054"
Powered by MediaWiki