Search the dblp DataBase
Valentin B. Shehtman :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Philippe Balbiani , Ilya Shapirovsky , Valentin B. Shehtman Every world can see a Sahlqvist world. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2006, pp:69-85 [Conf ] Ilya Shapirovsky , Valentin B. Shehtman Chronological Future Modality in Minkowski Spacetime. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2002, pp:437-460 [Conf ] Valentin B. Shehtman Filtration via Bisimulation. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:289-308 [Conf ] Valentin B. Shehtman Completeness and incompleteness in first-order modal logic: an overview. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2006, pp:27-30 [Conf ] Valentin B. Shehtman On Neighbourhood Semantics 30 years later. [Citation Graph (0, 0)][DBLP ] We Will Show Them! (2), 2005, pp:663-692 [Conf ] Alexander V. Chagrov , Valentin B. Shehtman Algorithmic Aspects of Propositional Tense Logics. [Citation Graph (0, 0)][DBLP ] CSL, 1994, pp:442-455 [Conf ] Dmitrij P. Skvortsov , Valentin B. Shehtman Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1993, v:63, n:1, pp:69-101 [Journal ] Dov M. Gabbay , Valentin B. Shehtman Products of modal logics. Part 2: Relativised quantifiers in classical logic. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2000, v:8, n:2, pp:- [Journal ] Dov M. Gabbay , Valentin B. Shehtman Products of Modal Logics, Part 1. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1998, v:6, n:1, pp:73-146 [Journal ] Valentin B. Shehtman ``Everywhere'' and ``Here''. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1999, v:9, n:2-3, pp:- [Journal ] Valentin B. Shehtman First-Order Modal Logic, M. Fitting and R. L. Mendelsohn. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 2001, v:10, n:3, pp:403-405 [Journal ] Dov M. Gabbay , Valentin B. Shehtman Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1993, v:58, n:3, pp:800-823 [Journal ] Ilya Shapirovsky , Valentin B. Shehtman Modal Logics of Regions and Minkowski Spacetime. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2005, v:15, n:4, pp:559-574 [Journal ] Valentin B. Shehtman Editorial. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2006, v:16, n:5, pp:539- [Journal ] Dov M. Gabbay , Valentin B. Shehtman Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2002, v:72, n:2, pp:157-183 [Journal ] Search in 0.001secs, Finished in 0.002secs