Andreĭ Valer'Evich Kudinov

Available identifiers

zbMath Open kudinov.andreyMaRDI QIDQ2815678

List of research outcomes

Publication	Date of Publication	Type
On neighbourhood product of some Horn axiomatizable logics	2022-08-10	Paper
Neighbourhood completeness for quantified pretransitive modal logics	2021-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q4636303	2018-04-23	Paper
Partitioning Kripke frames of finite height	2017-08-24	Paper
Finite model property of modal logics of finite depth	2016-06-30	Paper
Derivational Modal Logics with the Difference Modality	2015-06-19	Paper
Subset Space Logic with Arbitrary Announcements	2015-01-06	Paper
Modal logic of some products of neighborhood frames	2014-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q5419891	2014-06-11	Paper
Topological modal logic of $ \mathbb R$ with inequality	2009-02-05	Paper
Topological Modal Logics with Difference Modality	2008-07-01	Paper
Filtrations for $\mathbb{wK4}$ and its relatives	0001-01-03	Paper
Topological product of modal logics with the McKinsey axiom	0001-01-03	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: Andreĭ Valer'Evich Kudinov