Products of modal logics, part 1 DM Gabbay, VB Shehtman Logic journal of IGPL 6 (1), 73-146, 1998 | 302 | 1998 |
Quantification in nonclassical logic DM Gabbay, D Skvortsov, V Shehtman Elsevier, 2009 | 168 | 2009 |
Everywhere» and «here V Shehtman Journal of Applied Non-Classical Logics 9 (2-3), 369-379, 1999 | 91 | 1999 |
Two-dimensional modal logic VB Shehtman Matematicheskie Zametki 23 (5), 759-772, 1978 | 91 | 1978 |
Semantics of non-classical first order predicate logics V Shehtman, D Skvortsov Mathematical logic, 105-116, 1990 | 71 | 1990 |
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 | 57 | 1979 |
On incomplete propositional logics VB Shehtman Doklady Akademii Nauk 235 (3), 542-545, 1977 | 56 | 1977 |
Chronological future modality in Minkowski spacetime I Shapirovsky, V Shehtman | 53 | 1998 |
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 | 52 | 1993 |
Modal logics of domains on the real plane VB Shehtman Studia Logica 42, 63-80, 1983 | 52 | 1983 |
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 | 46 | 1993 |
Rieger–Nishimura lattices VB Shehtman Doklady Akademii Nauk 241 (6), 1288-1291, 1978 | 44 | 1978 |
Derived sets in Euclidean spaces and modal logic V Shehtman | 43 | 1990 |
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 | 38 | 2000 |
Topological models of propositional logics VB Shehtman Semiotics and information science 15, 74-98, 1980 | 32 | 1980 |
Filtration via bisimulation. VB Shehtman Advances in modal logic 5, 289-308, 2004 | 30 | 2004 |
Modal logics of regions and Minkowski spacetime I Shapirovsky, V Shehtman Journal of Logic and Computation 15 (4), 559-574, 2005 | 27 | 2005 |
Products of modal logics. Part 3: products of modal and temporal logics D Gabbay, V Shehtman Studia Logica 72, 157-183, 2002 | 27 | 2002 |
Algorithmic aspects of propositional tense logics AV Chagrov, VB Shehtman Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 1995 | 19 | 1995 |
On some two-dimensional modal logics V Shehtman 8th Congress on Logic Methodology and Philosophy of Science 1, 326-330, 1987 | 18 | 1987 |