S. I. Mardaev

Available identifiers

zbMath Open mardaev.sergei-ilichMaRDI QIDQ1069925

List of research outcomes

Publication	Date of Publication	Type
Fixed points of modal DS-formulas	2014-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q5420766	2014-06-13	Paper
Fixed points of formulas with double modalities	2012-05-21	Paper
Graded modal operators and fixed points	2012-05-11	Paper
Definable fixed points in modal and temporal logics -- a survey	2009-11-30	Paper
Fixed Points in Tense Models	2006-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4706821	2003-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4802728	2003-04-23	Paper
Fixed points of temporal operators	2001-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4390776	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4936675	2000-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4242895	1999-05-11	Paper
Convergence of positive schemes in S4 and Int	1995-05-17	Paper
Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic	1995-04-20	Paper
Least fixed points in the Gödel-Löb logic	1995-04-20	Paper
Fixed points of modal schemes	1994-04-12	Paper
Two sequences of locally tabular superintuitionistic logics	1992-06-27	Paper
Embeddings of implicative lattices and superintuitionistic logics	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3794153	1987-01-01	Paper
Number of prelocally table superintuitionistic propositional logics	1984-01-01	Paper

Research outcomes over time

This page was built for person: S. I. Mardaev