Valentin B. Shehtman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
2
Active years
1994–2018
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | AiML | On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom. | Valentin B. Shehtman |
| 2016 | AiML | Local tabularity without transitivity. | Ilya Shapirovsky, Valentin B. Shehtman |
| 2014 | AiML | Canonical Filtrations and Local Tabularity. | Valentin B. Shehtman |
| 2012 | AiML | On Modal Logics of Hamming Spaces. | Andrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman |
| 2006 | AiML | Every world can see a Sahlqvist world. | Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman |
| 2006 | AiML | Completeness and incompleteness in first-order modal logic: an overview. | Valentin B. Shehtman |
| 2004 | AiML | Filtration via Bisimulation. | Valentin B. Shehtman |
| 2002 | AiML | Chronological Future Modality in Minkowski Spacetime. | Ilya Shapirovsky, Valentin B. Shehtman |
| 1996 | AiML | On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I). | Valentin B. Shehtman |
| 1994 | CSL | Algorithmic Aspects of Propositional Tense Logics. | Alexander V. Chagrov, Valentin B. Shehtman |