Valentin B. Shehtman

According to our database, Valentin B. Shehtman authored at least 25 papers between 1986 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

On Kripke completeness of modal predicate logics around quantified K5.

Valentin B. Shehtman

Ann. Pure Appl. Log., 2023

2018

On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom.

Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 12, 2018

2016

Local tabularity without transitivity.

Ilya Shapirovsky, Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 11, 2016

2014

Products of modal logics and tensor products of modal algebras.

Dov M. Gabbay, Ilya Shapirovsky, Valentin B. Shehtman

J. Appl. Log., 2014

Canonical Filtrations and Local Tabularity.

Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 10, 2014

2013

Tensor products of modal logics.

Ilya Shapirovsky, Valentin B. Shehtman

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

On Modal Logics of Hamming Spaces.

Andrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 9, 2012

2006

Editorial.

Valentin B. Shehtman

J. Log. Comput., 2006

Completeness and incompleteness in first-order modal logic: an overview.

Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 6, 2006

Every world can see a Sahlqvist world.

Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 6, 2006

2005

Modal Logics of Regions and Minkowski Spacetime.

Ilya Shapirovsky, Valentin B. Shehtman

J. Log. Comput., 2005

On Neighbourhood Semantics 30 years later.

Valentin B. Shehtman

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

Filtration via Bisimulation.

Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 5, 2004

2002

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics.

Dov M. Gabbay, Valentin B. Shehtman

Stud Logica, 2002

Chronological Future Modality in Minkowski Spacetime.

Ilya Shapirovsky, Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

First-Order Modal Logic, M. Fitting and R. L. Mendelsohn.

Valentin B. Shehtman

J. Log. Lang. Inf., 2001

2000

Products of modal logics. Part 2: Relativised quantifiers in classical logic.

Dov M. Gabbay, Valentin B. Shehtman

Log. J. IGPL, 2000

1999

"Everywhere" and "Here".

Valentin B. Shehtman

J. Appl. Non Class. Logics, 1999

1998

Products of Modal Logics, Part 1.

Dov M. Gabbay, Valentin B. Shehtman

Log. J. IGPL, 1998

1996

On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I).

Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 1, 1996

1994

Algorithmic Aspects of Propositional Tense Logics.

Alexander V. Chagrov, Valentin B. Shehtman

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993

Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables.

Dov M. Gabbay, Valentin B. Shehtman

J. Symb. Log., 1993

Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.

Dmitrij P. Skvortsov, Valentin B. Shehtman

Ann. Pure Appl. Log., 1993

1990

Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.

Valentin B. Shehtman

Stud Logica, 1990

1986

Logics of some kripke frames connected with Medvedev notion of informational types.

Valentin B. Shehtman, Dmitrij P. Skvortsov

Stud Logica, 1986