Person:2003245

Available identifiers

zbMath Open yun.veta-fMaRDI QIDQ2003245

List of research outcomes

Publication	Date of Publication	Type
Pretabularity and Craig's interpolation problem over the minimal logic	2024-08-14	Paper
Pretabularity and Craig's interpolation property	2024-05-15	Paper
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

This page was built for person: Veta Fedorovna Yun