21 found
Order:
Disambiguations
Valentin Shehtman [21]V. B. Shehtman [4]V. Shehtman [3]
  1.  46
    Products of modal logics, part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.
    The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It proves results on axiomatisability, the finite model property and decidability for product logics, by applying a rather elaborated modal logic technique: p-morphisms, the finite depth method, normal forms, filtrations. Applications to first order predicate logics are considered too. The introduction and the conclusion contain a discussion of many related results and open problems in the area.
    Direct download  
     
    Export citation  
     
    Bookmark   60 citations  
  2.  33
    « Everywhere » and « here ».Valentin Shehtman - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):369-379.
    ABSTRACT The paper studies propositional logics in a bimodal language, in which the first modality is interpreted as the local truth, and the second as the universal truth. The logic S4UC is introduced, which is finitely axiomatizable, has the f.m.p. and is determined by every connected separable metric space.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  3.  50
    Modal logics of domains on the real plane.V. B. Shehtman - 1983 - Studia Logica 42 (1):63-80.
    This paper concerns modal logics appearing from the temporal ordering of domains in two-dimensional Minkowski spacetime. As R. Goldblatt has proved recently, the logic of the whole plane isS4.2. We consider closed or open convex polygons and closed or open domains bounded by simple differentiable curves; this leads to the logics:S4,S4.1,S4.2 orS4.1.2.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  36
    Maximal Kripke-type semantics for modal and superintuitionistic predicate logics.D. P. Skvortsov & V. B. Shehtman - 1993 - Annals of Pure and Applied Logic 63 (1):69-101.
    Recent studies in semantics of modal and superintuitionistic predicate logics provided many examples of incompleteness, especially for Kripke semantics. So there is a problem: to find an appropriate possible- world semantics which is equivalent to Kripke semantics at the propositional level and which is strong enough to prove general completeness results. The present paper introduces a new semantics of Kripke metaframes' generalizing some earlier notions. The main innovation is in considering "n"-tuples of individuals as abstract "n"-dimensional vectors', together with some (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  14
    On Kripke completeness of modal predicate logics around quantified K5.Valentin Shehtman - 2023 - Annals of Pure and Applied Logic 174 (2):103202.
  6.  53
    Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.Valentin Shehtman - 1990 - Studia Logica 49 (3):365 - 385.
    We consider modal logics whose intermediate fragments lie between the logic of infinite problems [20] and the Medvedev logic of finite problems [15]. There is continuum of such logics [19]. We prove that none of them is finitely axiomatizable. The proof is based on methods from [12] and makes use of some graph-theoretic constructions (operations on coverings, and colourings).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  10
    Chronological Future Modality in Minkowski Spacetime.Ilya Shapirovsky & Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 437-459.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  49
    Undecidability of modal and intermediate first-order logics with two individual variables.D. M. Gabbay & V. B. Shehtman - 1993 - Journal of Symbolic Logic 58 (3):800-823.
  9.  15
    Products of modal logics. Part 2: relativised quantifiers in classical logic.D. Gabbay & V. Shehtman - 2000 - Logic Journal of the IGPL 8 (2):165-210.
    In the first part of this paper we introduced products of modal logics and proved basic results on their axiomatisability and the f.m.p. In this continuation paper we prove a stronger result - the product f.m.p. holds for products of modal logics in which some of the modalities are reflexive or serial. This theorem is applied in classical first-order logic, we identify a new Square Fragment of the classical logic, where the basic predicates are binary and all quantifiers are relativised, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  17
    Products of modal logics and tensor products of modal algebras.Dov Gabbay, Ilya Shapirovsky & Valentin Shehtman - 2014 - Journal of Applied Logic 12 (4):570-583.
  11.  37
    Products of modal logics. Part 3: Products of modal and temporal logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
    In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  40
    Logics of some kripke frames connected with Medvedev notion of informational types.V. B. Shehtman & D. P. Skvortsov - 1986 - Studia Logica 45 (1):101-118.
    Intermediate prepositional logics we consider here describe the setI() of regular informational types introduced by Yu. T. Medvedev [7]. He showed thatI() is a Heyting algebra. This algebra gives rise to the logic of infinite problems from [13] denoted here asLM 1. Some other definitions of negation inI() lead to logicsLM n (n ). We study inclusions between these and other systems, proveLM n to be non-finitely axiomatizable (n ) and recursively axiomatizable (n ). We also show that formulas in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  14
    Advances in Modal Logic 8.Lev Dmitrievich Beklemishev, Valentin Goranko & Valentin Shehtman (eds.) - 2010 - London, England: College Publications.
    Proc. of the 8th International Conference on Advances in Modal Logic, (AiML'2010).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  10
    On Modal Logics of Hamming Spaces.Andrey Kudinov, Ilya Shapirovsky & Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 395-410.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms.Igor Lavrov, Larisa Maksimova, Giovanna Corsi & Valentin Shehtman - 2005 - Studia Logica 81 (2):283-285.
     
    Export citation  
     
    Bookmark  
  16.  11
    Completeness and incompleteness in first-order modal logic: an overview.Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 27-30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  26
    Foreword.Valentin Shehtman - 2007 - Journal of Applied Non-Classical Logics 17 (3):281-281.
  18.  56
    First-order modal logic, M. fitting and R.l. Mendelsohn.Valentin Shehtman - 2001 - Journal of Logic, Language and Information 10 (3):403-405.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  8
    Filtration via Bisimulation.Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 289-308.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. M. Fitting and RL Mendelsohn, First-Order Modal Logic.V. Shehtman - 2001 - Journal of Logic Language and Information 10 (3):403-405.
     
    Export citation  
     
    Bookmark  
  21. On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics.Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 209-222.
    No categories
     
    Export citation  
     
    Bookmark