Julia Ilin

Available identifiers

zbMath Open ilin.juliaMaRDI QIDQ514516

List of research outcomes

Publication	Date of Publication	Type
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS	2023-02-27	Paper
NNIL-formulas revisited: Universal models and finite model property	2021-04-09	Paper
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations	2021-03-21	Paper
NNIL-formulas revisited: universal models and finite model property	2019-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q5224694	2019-07-24	Paper
Subframization and stabilization for superintuitionistic logics	2019-03-01	Paper
MacNeille transferability and stable classes of Heyting algebras	2018-10-30	Paper
STABLE MODAL LOGICS	2018-10-25	Paper
Quotient dynamics: the logic of abstraction	2017-11-22	Paper
Cofinal stable logics	2017-03-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Julia Ilin