Follow
Valentin Shehtman
Valentin Shehtman
Institute for Information Transmission Problems and Moscow State University and National Research University Higher School of Ec
No verified email
Title
Cited by
Cited by
Year
Products of modal logics, part 1
DM Gabbay, VB Shehtman
Logic journal of IGPL 6 (1), 73-146, 1998
2901998
Quantification in nonclassical logic
DM Gabbay, D Skvortsov, V Shehtman
Elsevier, 2009
1562009
Everywhere» and «here
V Shehtman
Journal of Applied Non-Classical Logics 9 (2-3), 369-379, 1999
911999
Two-dimensional modal logic
VB Shehtman
Matematicheskie Zametki 23 (5), 759-772, 1978
801978
Semantics of non-classical first order predicate logics
V Shehtman, D Skvortsov
Mathematical logic, 105-116, 1990
721990
On incomplete propositional logics
VB Shehtman
Doklady Akademii Nauk 235 (3), 542-545, 1977
541977
Chronological future modality in Minkowski spacetime
I Shapirovsky, V Shehtman
512003
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
DP Skvortsov, VB Shehtman
Annals of pure and applied logic 63 (1), 69-101, 1993
511993
Rieger–Nishimura lattices
VB Shehtman
Doklady Akademii Nauk 241 (6), 1288-1291, 1978
511978
Impossibility of finite axiomatization of Medvedev’s logic of finite problems
LL Maksimova, DP Skvorcov, VB Šehtman
Doklady Akademii Nauk SSSR 245 (5), 1051-1054, 1979
501979
Modal logics of domains on the real plane
VB Shehtman
Studia Logica 42, 63-80, 1983
471983
Undecidability of modal and intermediate first-order logics with two individual variables
DM Gabbay, VB Shehtman
The Journal of Symbolic Logic 58 (3), 800-823, 1993
421993
Derived sets in Euclidean spaces and modal logic
V Shehtman
391990
Products of modal logics. Part 2: Relativised quantifiers in classical logic
DM Gabbay, VB Shehtman
Logic Journal of the IGPL 8 (2), 165-210, 2000
372000
Topological models of propositional logics
VB Shehtman
Semiotics and information science 15, 74-98, 1980
321980
Filtration via bisimulation.
VB Shehtman
Advances in modal logic 5, 289-308, 2004
282004
Modal logics of regions and Minkowski spacetime
I Shapirovsky, V Shehtman
Journal of Logic and Computation 15 (4), 559-574, 2005
262005
Products of modal logics. Part 3: products of modal and temporal logics
D Gabbay, V Shehtman
Studia Logica 72, 157-183, 2002
262002
Algorithmic aspects of propositional tense logics
AV Chagrov, VB Shehtman
Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 1995
201995
On some two-dimensional modal logics
V Shehtman
8th Congress on Logic Methodology and Philosophy of Science 1, 326-330, 1987
171987
The system can't perform the operation now. Try again later.
Articles 1–20