Valentin Shehtman

Available identifiers

zbMath Open shehtman.valentin-bMaRDI QIDQ472807

List of research outcomes

Publication	Date of Publication	Type
On Kripke completeness of modal predicate logics around quantified \textbf{K5}	2022-12-08	Paper
Segerberg Squares of Modal Logics and Theories of Relation Algebras	2020-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q5224587	2019-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4636053	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636310	2018-04-23	Paper
Bisimulation games and locally tabular logics	2017-03-03	Paper
Derivational Modal Logics with the Difference Modality	2015-06-19	Paper
Products of modal logics and tensor products of modal algebras	2014-11-20	Paper
On squares of modal logics with additional connectives	2014-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5419891	2014-06-11	Paper
Squares of modal logics with additional connectives	2012-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q3012545	2011-07-06	Paper
Quantification in nonclassical logic. Volume I.	2009-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q3509042	2008-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5483014	2006-08-15	Paper
Modal Logics of Regions and Minkowski Spacetime	2005-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5311049	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4474858	2004-07-21	Paper
Products of modal logics. III. Products of modal and temporal logics	2003-03-12	Paper
« Everywhere » and « here »	2002-09-25	Paper
Products of modal logics, part 1	2000-07-30	Paper
Products of modal logics. Part 2: relativised quantifiers in classical logic	2000-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4215603	1999-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q4833776	1995-05-23	Paper
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics	1994-08-28	Paper
Undecidability of modal and intermediate first-order logics with two individual variables	1994-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4694215	1993-06-29	Paper
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable	1990-01-01	Paper
Logics of some Kripke frames connected with Medvedev notion of informational types	1986-01-01	Paper
Modal logics of domains on the real plane	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3964525	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3967518	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3902989	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880811	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3206929	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4163190	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4198475	1978-01-01	Paper
Two-dimensional modal logic	1978-01-01	Paper
A Remark on M. K. Rennie's Paper “Models for Multiply Modal Systems”	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4198476	1977-01-01	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: Valentin Shehtman