Works by Olkhovikov, Grigory (exact spelling)

4 found
Order:
  1.  12
    Failure of interpolation in constant domain intuitionistic logic.Grigori Mints, Grigory Olkhovikov & Alasdair Urquhart - 2013 - Journal of Symbolic Logic 78 (3):937-950.
  2.  17
    A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  20
    Watergate as democratic ritual.Jeffrey Alexander, Grigory Olkhovikov & Dmitry Kurakin - 2012 - Russian Sociological Review 11 (3):77-104.
    The paper promotes a cultural sociological analysis of one of the most significant and hard-to-explain events in American history when the initial act of breaking and entering into the Democratic Party headquarters at the Watergate Hotel first didn't attract any substantial attention of contemporaries but later initiated a widespread political crisis. J. Alexander considers the dynamics, mechanisms and consequences of the event and its public resonance, building an explanatory model based on his cultural sociological theory. This model allows to reconstruct (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  36
    A Lindström Theorem in Many-Valued Modal Logic over a Finite MTL-chain.Guillermo Badia & Grigory Olkhovikov - forthcoming - Fuzzy Sets and Systems.
    We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice). We first show that the basic modal abstract logic with constants for the values of the MTL-chain is the maximal abstract logic satisfying Compactness, the Tarski Union Property and strong invariance for bisimulations. Finally, we improve this result by replacing the Tarski Union Property by a relativization property.
    Direct download  
     
    Export citation  
     
    Bookmark