Person:2003245

Available identifiers

zbMath Open yun.veta-fMaRDI QIDQ2003245

List of research outcomes

Publication	Date of Publication	Type
Craig's interpolation property in pretabular logics	2024-03-27	Paper
Algorithms for recognizing restricted interpolation over the modal logic S4	2022-04-08	Paper
Hybrid extensions of the minimal logic	2021-09-27	Paper
Perceptibility in pre-Heyting logics	2020-09-24	Paper
On Linear Logic of Knowledge and Time	2020-02-05	Paper
The interpolation problem in finite-layered pre-Heyting logics	2019-12-06	Paper
Recognizability in pre-Heyting and well-composed logics	2019-07-16	Paper
Extensions of the minimal logic and the interpolation problem	2018-11-13	Paper
Recognizability of all WIP-minimal logics	2018-06-20	Paper
Slices and levels of extensions of the minimal logic	2018-04-20	Paper
Strong computability of slices over the logic GL	2018-04-03	Paper
Strong decidability and strong recognizability	2018-03-02	Paper
Calculi over minimal logic and nonembeddability of algebras	2017-09-06	Paper
Layers over minimal logic	2017-07-18	Paper
The tabularity problem over the minimal logic	2017-03-16	Paper
WIP-minimal logics and interpolation	2016-07-28	Paper
Polymodal logic of the class of inductive linear time frames	2016-07-28	Paper
The temporal logic of inductive frames with linear time	2015-11-16	Paper
Recognizable logics	2015-10-27	Paper
Interpolation over the minimal logic and Odintsov intervals	2015-09-28	Paper
On the linear logic of knowledge and time with intransitive time relation	2015-09-28	Paper
The temporal logic of linear time frames with inductions axiom	2014-06-13	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: Veta Fedorovna Yun