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
2971998
Quantification in nonclassical logic
DM Gabbay, D Skvortsov, V Shehtman
Elsevier, 2009
1682009
Everywhere» and «here
V Shehtman
Journal of Applied Non-Classical Logics 9 (2-3), 369-379, 1999
901999
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
711990
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
521998
Rieger–Nishimura lattices
VB Shehtman
Doklady Akademii Nauk 241 (6), 1288-1291, 1978
521978
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
Modal logics of domains on the real plane
VB Shehtman
Studia Logica 42, 63-80, 1983
501983
Impossibility of finite axiomatization of Medvedev's logic of finite problems
LL Maksimova, DP Skvortsov, VB Shehtman
Doklady Akademii Nauk 245 (5), 1051-1054, 1979
501979
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
451993
Derived sets in Euclidean spaces and modal logic
V Shehtman
411990
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
382000
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
Products of modal logics. Part 3: products of modal and temporal logics
D Gabbay, V Shehtman
Studia Logica 72, 157-183, 2002
272002
Modal logics of regions and Minkowski spacetime
I Shapirovsky, V Shehtman
Journal of Logic and Computation 15 (4), 559-574, 2005
262005
Algorithmic aspects of propositional tense logics
AV Chagrov, VB Shehtman
Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 1995
191995
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