Suivre
Valentin Shehtman
Valentin Shehtman
Institute for Information Transmission Problems and Moscow State University and National Research University Higher School of Ec
Aucune adresse e-mail validée
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20