Valentin B. Shehtman

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