Valentin B. Shehtman

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 3

Top Topics

Density Distribution

Decision Procedures

Top Venues

Advances in Modal Logic

Ann. Pure Appl. Log.

Publications

Valentin B. Shehtman
On Kripke completeness of modal predicate logics around quantified K5. Ann. Pure Appl. Log. 174 (2) (2023)
Valentin B. Shehtman
On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom. Advances in Modal Logic (2018)
Ilya Shapirovsky, Valentin B. Shehtman
Local tabularity without transitivity. Advances in Modal Logic (2016)
Valentin B. Shehtman
Canonical Filtrations and Local Tabularity. Advances in Modal Logic (2014)
Dov M. Gabbay, Ilya Shapirovsky, Valentin B. Shehtman
Products of modal logics and tensor products of modal algebras. J. Appl. Log. 12 (4) (2014)
Ilya Shapirovsky, Valentin B. Shehtman
Tensor products of modal logics. TACL (2013)
Andrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman
On Modal Logics of Hamming Spaces. Advances in Modal Logic (2012)
Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman
Every world can see a Sahlqvist world. Advances in Modal Logic (2006)
Valentin B. Shehtman
Completeness and incompleteness in first-order modal logic: an overview. Advances in Modal Logic (2006)
Valentin B. Shehtman
Editorial. J. Log. Comput. 16 (5) (2006)
Valentin B. Shehtman
On Neighbourhood Semantics 30 years later. We Will Show Them! (2) (2005)
Ilya Shapirovsky, Valentin B. Shehtman
Modal Logics of Regions and Minkowski Spacetime. J. Log. Comput. 15 (4) (2005)
Valentin B. Shehtman
Filtration via Bisimulation. Advances in Modal Logic (2004)
Ilya Shapirovsky, Valentin B. Shehtman
Chronological Future Modality in Minkowski Spacetime. Advances in Modal Logic (2002)
Dov M. Gabbay, Valentin B. Shehtman
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. Stud Logica 72 (2) (2002)
Valentin B. Shehtman
First-Order Modal Logic, M. Fitting and R. L. Mendelsohn. J. Log. Lang. Inf. 10 (3) (2001)
Dov M. Gabbay, Valentin B. Shehtman
Products of modal logics. Part 2: Relativised quantifiers in classical logic. Log. J. IGPL 8 (2) (2000)
Valentin B. Shehtman
"Everywhere" and "Here". J. Appl. Non Class. Logics 9 (2-3) (1999)
Dov M. Gabbay, Valentin B. Shehtman
Products of Modal Logics, Part 1. Log. J. IGPL 6 (1) (1998)
Valentin B. Shehtman
On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I). Advances in Modal Logic (1996)
Alexander V. Chagrov, Valentin B. Shehtman
Algorithmic Aspects of Propositional Tense Logics. CSL (1994)
Dmitrij P. Skvortsov, Valentin B. Shehtman
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics. Ann. Pure Appl. Log. 63 (1) (1993)
Dov M. Gabbay, Valentin B. Shehtman
Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. J. Symb. Log. 58 (3) (1993)
Valentin B. Shehtman
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. Stud Logica 49 (3) (1990)
Valentin B. Shehtman, Dmitrij P. Skvortsov
Logics of some kripke frames connected with Medvedev notion of informational types. Stud Logica 45 (1) (1986)