The following pages link to Veta Fedorovna Yun (Q2003245):
Displaying 25 items.
- (Q498236) (redirect page) (← links)
- Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
- On the linear logic of knowledge and time with intransitive time relation (Q498248) (← links)
- The tabularity problem over the minimal logic (Q515492) (← links)
- Hybrid extensions of the minimal logic (Q820493) (← links)
- Recognizable logics (Q887647) (← links)
- The temporal logic of inductive frames with linear time (Q890830) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- Recognizability of all WIP-minimal logics (Q1642315) (← links)
- Strong decidability and strong recognizability (Q1703280) (← links)
- Strong computability of slices over the logic GL (Q1707569) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- Recognizability in pre-Heyting and well-composed logics (Q2003246) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
- Perceptibility in pre-Heyting logics (Q2200986) (← links)
- Layers over minimal logic (Q2364334) (← links)
- Calculi over minimal logic and nonembeddability of algebras (Q2402134) (← links)
- The temporal logic of linear time frames with inductions axiom (Q2454548) (← links)
- WIP-minimal logics and interpolation (Q2630547) (← links)
- Polymodal logic of the class of inductive linear time frames (Q2630564) (← links)
- On Linear Logic of Knowledge and Time (Q5214743) (← links)
- Craig's interpolation property in pretabular logics (Q6203335) (← links)
- Pretabularity and Craig's interpolation property (Q6539754) (← links)
- Pretabularity and Craig's interpolation problem over the minimal logic (Q6587379) (← links)
