Logics of some kripke frames connected with Medvedev notion of informational types. - Valentin B. Shehtman; Dmitrij P. Skvortsov (Stud Logica, 1986)

Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. - Valentin B. Shehtman (Stud Logica, 1990)

Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics. - Dmitrij P. Skvortsov; Valentin B. Shehtman (Ann. Pure Appl. Log., 1993)

Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. - Dov M. Gabbay; Valentin B. Shehtman (J. Symb. Log., 1993)

Algorithmic Aspects of Propositional Tense Logics. - Alexander V. Chagrov; Valentin B. Shehtman (CSL, 1994)

On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part I). - Valentin B. Shehtman (Advances in Modal Logic, 1996)

Products of Modal Logics, Part 1. - Dov M. Gabbay; Valentin B. Shehtman (Log. J. IGPL, 1998)

"Everywhere" and "Here". - Valentin B. Shehtman (J. Appl. Non Class. Logics, 1999)

Products of modal logics. Part 2: Relativised quantifiers in classical logic. - Dov M. Gabbay; Valentin B. Shehtman (Log. J. IGPL, 2000)

First-Order Modal Logic, M. Fitting and R. L. Mendelsohn. - Valentin B. Shehtman (J. Log. Lang. Inf., 2001)

Chronological Future Modality in Minkowski Spacetime. - Ilya Shapirovsky; Valentin B. Shehtman (Advances in Modal Logic, 2002)

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. - Dov M. Gabbay; Valentin B. Shehtman (Stud Logica, 2002)

Filtration via Bisimulation. - Valentin B. Shehtman (Advances in Modal Logic, 2004)

On Neighbourhood Semantics 30 years later. - Valentin B. Shehtman (We Will Show Them! (2), 2005)

Modal Logics of Regions and Minkowski Spacetime. - Ilya Shapirovsky; Valentin B. Shehtman (J. Log. Comput., 2005)

Every world can see a Sahlqvist world. - Philippe Balbiani; Ilya Shapirovsky; Valentin B. Shehtman (Advances in Modal Logic, 2006)

Completeness and incompleteness in first-order modal logic: an overview. - Valentin B. Shehtman (Advances in Modal Logic, 2006)

Editorial. - Valentin B. Shehtman (J. Log. Comput., 2006)

On Modal Logics of Hamming Spaces. - Andrey Kudinov; Ilya Shapirovsky; Valentin B. Shehtman (Advances in Modal Logic, 2012)

Tensor products of modal logics. - Ilya Shapirovsky; Valentin B. Shehtman (TACL, 2013)

Canonical Filtrations and Local Tabularity. - Valentin B. Shehtman (Advances in Modal Logic, 2014)

Products of modal logics and tensor products of modal algebras. - Dov M. Gabbay; Ilya Shapirovsky; Valentin B. Shehtman (J. Appl. Log., 2014)

Local tabularity without transitivity. - Ilya Shapirovsky; Valentin B. Shehtman (Advances in Modal Logic, 2016)

On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom. - Valentin B. Shehtman (Advances in Modal Logic, 2018)

On Kripke completeness of modal predicate logics around quantified K5. - Valentin B. Shehtman (Ann. Pure Appl. Log., 2023)