Valentin B. Shehtman - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2023

On Kripke completeness of modal predicate logics around quantified K5Valentin B. Shehtman. APAL, 174(2):103202, 2023. [doi]

2018

On Kripke Completeness of Some Modal Predicate Logics with the Density AxiomValentin B. Shehtman. aiml 2018: 559-575 [doi]

2016

Local tabularity without transitivityIlya Shapirovsky, Valentin B. Shehtman. aiml 2016: 520-534 [doi]

2014

Products of modal logics and tensor products of modal algebrasDov M. Gabbay, Ilya Shapirovsky, Valentin B. Shehtman. japll, 12(4):570-583, 2014. [doi]

Canonical Filtrations and Local TabularityValentin B. Shehtman. aiml 2014: 498-512 [doi]

2012

On Modal Logics of Hamming SpacesAndrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman. aiml 2012: 395-410 [doi]

2006

Every world can see a Sahlqvist worldPhilippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman. aiml 2006: 69-85 [doi]

Completeness and incompleteness in first-order modal logic: an overviewValentin B. Shehtman. aiml 2006: 27-30 [doi]

EditorialValentin B. Shehtman. logcom, 16(5):539, 2006. [doi]

2005

Modal Logics of Regions and Minkowski SpacetimeIlya Shapirovsky, Valentin B. Shehtman. logcom, 15(4):559-574, 2005. [doi]

On Neighbourhood Semantics 30 years laterValentin B. Shehtman. BIRTHDAY 2005: 663-692

2004

Filtration via BisimulationValentin B. Shehtman. aiml 2005: 289-308 [doi]

2002

Products of Modal Logics. Part 3: Products of Modal and Temporal LogicsDov M. Gabbay, Valentin B. Shehtman. sLogica, 72(2):157-183, 2002.

Chronological Future Modality in Minkowski SpacetimeIlya Shapirovsky, Valentin B. Shehtman. aiml 2003: 437-460

2001

First-Order Modal Logic, M. Fitting and R. L. MendelsohnValentin B. Shehtman. jolli, 10(3):403-405, 2001.

2000

Products of modal logics. Part 2: Relativised quantifiers in classical logicDov M. Gabbay, Valentin B. Shehtman. igpl, 8(2):165-210, 2000. [doi]

1999

Everywhere and Here Valentin B. Shehtman. jancl, 9(2-3):369-379, 1999.

1998

Products of Modal Logics, Part 1Dov M. Gabbay, Valentin B. Shehtman. igpl, 6(1):73-146, 1998. [doi]

1996

On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I)Valentin B. Shehtman. aiml 1998: 209-222

1994

Algorithmic Aspects of Propositional Tense LogicsAlexander V. Chagrov, Valentin B. Shehtman. csl 1995: 442-455

1993

Undedidability of Modal and Intermediate First-Order Logics with Two Individual VariablesDov M. Gabbay, Valentin B. Shehtman. JSYML, 58(3):800-823, 1993.

Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate LogicsDmitrij P. Skvortsov, Valentin B. Shehtman. APAL, 63(1):69-101, 1993.

1990

Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizableValentin B. Shehtman. sLogica, 49(3):365-385, 1990. [doi]

1986

Logics of some kripke frames connected with Medvedev notion of informational typesValentin B. Shehtman, Dmitrij P. Skvortsov. sLogica, 45(1):101-118, 1986. [doi]

Sign in or sign up to see more results.

runs on WebDSL