 | 2006 |
|---|
| 15 |       | Valentin B. Shehtman:
Completeness and incompleteness in first-order modal logic: an overview.
Advances in Modal Logic 2006: 27-30 |
| 14 | | Philippe Balbiani,
Ilya Shapirovsky,
Valentin B. Shehtman:
Every world can see a Sahlqvist world.
Advances in Modal Logic 2006: 69-85 |
| 13 | | Valentin B. Shehtman:
Editorial.
J. Log. Comput. 16(5): 539 (2006) |
| 2005 |
|---|
| 12 |  | Valentin B. Shehtman:
On Neighbourhood Semantics 30 years later.
We Will Show Them! (2) 2005: 663-692 |
| 11 | | Ilya Shapirovsky,
Valentin B. Shehtman:
Modal Logics of Regions and Minkowski Spacetime.
J. Log. Comput. 15(4): 559-574 (2005) |
| 2004 |
|---|
| 10 | | Valentin B. Shehtman:
Filtration via Bisimulation.
Advances in Modal Logic 2004: 289-308 |
| 2002 |
|---|
| 9 | | Ilya Shapirovsky,
Valentin B. Shehtman:
Chronological Future Modality in Minkowski Spacetime.
Advances in Modal Logic 2002: 437-460 |
| 8 | | Dov M. Gabbay,
Valentin B. Shehtman:
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics.
Studia Logica 72(2): 157-183 (2002) |
| 2001 |
|---|
| 7 | | Valentin B. Shehtman:
First-Order Modal Logic, M. Fitting and R. L. Mendelsohn.
Journal of Logic, Language and Information 10(3): 403-405 (2001) |
| 2000 |
|---|
| 6 | | Dov M. Gabbay,
Valentin B. Shehtman:
Products of modal logics. Part 2: Relativised quantifiers in classical logic.
Logic Journal of the IGPL 8(2): (2000) |
| 1999 |
|---|
| 5 | | Valentin B. Shehtman:
``Everywhere'' and ``Here''.
Journal of Applied Non-Classical Logics 9(2-3): (1999) |
| 1998 |
|---|
| 4 | | Dov M. Gabbay,
Valentin B. Shehtman:
Products of Modal Logics, Part 1.
Logic Journal of the IGPL 6(1): 73-146 (1998) |
| 1994 |
|---|
| 3 | | Alexander V. Chagrov,
Valentin B. Shehtman:
Algorithmic Aspects of Propositional Tense Logics.
CSL 1994: 442-455 |
| 1993 |
|---|
| 2 | | Dmitrij P. Skvortsov,
Valentin B. Shehtman:
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.
Ann. Pure Appl. Logic 63(1): 69-101 (1993) |
| 1 | | Dov M. Gabbay,
Valentin B. Shehtman:
Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables.
J. Symb. Log. 58(3): 800-823 (1993) |
