Valentin B. Shehtman

26 papers B 11Journal 13Unranked 2

Year	Rank	Type	Title / 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