Követés
Valentin Shehtman
Valentin Shehtman
Institute for Information Transmission Problems and Moscow State University and National Research University Higher School of Ec
Nincs ellenőrzött e-mail-cím
Cím
Hivatkozott rá
Hivatkozott rá
Év
Products of modal logics, part 1
DM Gabbay, VB Shehtman
Logic journal of IGPL 6 (1), 73-146, 1998
3021998
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
911999
Two-dimensional modal logic
VB Shehtman
Matematicheskie Zametki 23 (5), 759-772, 1978
911978
Semantics of non-classical first order predicate logics
V Shehtman, D Skvortsov
Mathematical logic, 105-116, 1990
711990
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
571979
On incomplete propositional logics
VB Shehtman
Doklady Akademii Nauk 235 (3), 542-545, 1977
561977
Chronological future modality in Minkowski spacetime
I Shapirovsky, V Shehtman
531998
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
521993
Modal logics of domains on the real plane
VB Shehtman
Studia Logica 42, 63-80, 1983
521983
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
461993
Rieger–Nishimura lattices
VB Shehtman
Doklady Akademii Nauk 241 (6), 1288-1291, 1978
441978
Derived sets in Euclidean spaces and modal logic
V Shehtman
431990
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
302004
Modal logics of regions and Minkowski spacetime
I Shapirovsky, V Shehtman
Journal of Logic and Computation 15 (4), 559-574, 2005
272005
Products of modal logics. Part 3: products of modal and temporal logics
D Gabbay, V Shehtman
Studia Logica 72, 157-183, 2002
272002
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
181987
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20