18 found
Order:
  1.  20
    Guram Bezhanishvili & Nick Bezhanishvili (2009). An Algebraic Approach to Canonical Formulas: Intuitionistic Case. Review of Symbolic Logic 2 (3):517-549.
    We introduce partial Esakia morphisms, well partial Esakia morphisms, and strong partial Esakia morphisms between Esakia spaces and show that they provide the dual description of (, , 0) homomorphisms, and ( , s subreductions, cofinal subreductions, dense subreductions, and the closed domain condition. As a consequence, we obtain a new simplified proof (which is algebraic in nature) of Zakharyaschev’s theorem that each intermediate logic can be axiomatized by canonical formulas.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  9
    Guram Bezhanishvili & Nick Bezhanishvili (2011). An Algebraic Approach to Canonical Formulas: Modal Case. Studia Logica 99 (1-3):93-125.
    We introduce relativized modal algebra homomorphisms and show that the category of modal algebras and relativized modal algebra homomorphisms is dually equivalent to the category of modal spaces and partial continuous p-morphisms, thus extending the standard duality between the category of modal algebras and modal algebra homomorphisms and the category of modal spaces and continuous p-morphisms. In the transitive case, this yields an algebraic characterization of Zakharyaschev’s subreductions, cofinal subreductions, dense subreductions, and the closed domain condition. As a consequence, we (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  28
    Johan van Benthem, Nick Bezhanishvili & Ian Hodkinson (2012). Sahlqvist Correspondence for Modal Mu-Calculus. Studia Logica 100 (1):31-60.
  4.  28
    Nick Bezhanishvili & Maarten Marx (2003). All Proper Normal Extensions of S5-Square Have the Polynomial Size Model Property. Studia Logica 73 (3):367 - 382.
    We show that every proper normal extension of the bi-modal system S5 2 has the poly-size model property. In fact, to every proper normal extension L of S5 2 corresponds a natural number b(L) - the bound of L. For every L, there exists a polynomial P(·) of degree b(L) + 1 such that every L-consistent formula is satisfiable on an L-frame whose universe is bounded by P(||), where || denotes the number of subformulas of . It is shown that (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  5.  13
    Guram Bezhanishvili & Nick Bezhanishvili (2012). Canonical Formulas for Wk4. Review of Symbolic Logic 5 (4):731-762.
    We generalize the theory of canonical formulas for K4, the logic of transitive frames, to wK4, the logic of weakly transitive frames. Our main result establishes that each logic over wK4 is axiomatizable by canonical formulas, thus generalizing Zakharyaschev’s theorem for logics over K4. The key new ingredients include the concepts of transitive and strongly cofinal subframes of weakly transitive spaces. This yields, along with the standard notions of subframe and cofinal subframe logics, the new notions of transitive subframe and (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  11
    Johan Benthem, Nick Bezhanishvili & Ian Hodkinson (2012). Sahlqvist Correspondence for Modal Mu-Calculus. Studia Logica 100 (1-2):31-60.
    We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  13
    Nick Bezhanishvili & Ian Hodkinson (2004). All Normal Extensions of S5-Squared Are Finitely Axiomatizable. Studia Logica 78 (3):443 - 457.
    We prove that every normal extension of the bi-modal system S52 is finitely axiomatizable and that every proper normal extension has NP-complete satisfiability problem.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  2
    Nick Bezhanishvili (2008). Frame Based Formulas for Intermediate Logics. Studia Logica 90 (2):139-159.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  1
    Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin (forthcoming). Cofinal Stable Logics. Studia Logica:1-31.
    We generalize the \}\)-canonical formulas to \}\)-canonical rules, and prove that each intuitionistic multi-conclusion consequence relation is axiomatizable by \}\)-canonical rules. This yields a convenient characterization of stable superintuitionistic logics. The \}\)-canonical formulas are analogues of the \}\)-canonical formulas, which are the algebraic counterpart of Zakharyaschev’s canonical formulas for superintuitionistic logics. Consequently, stable si-logics are analogues of subframe si-logics. We introduce cofinal stable intuitionistic multi-conclusion consequence relations and cofinal stable si-logics, thus answering the question of what the analogues of cofinal (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  11
    Nick Bezhanishvili & Dick de Jongh (2012). Extendible Formulas in Two Variables in Intuitionistic Logic. Studia Logica 100 (1-2):61-89.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11.  2
    Nick Bezhanishvili & Ian Hodkinson (2004). All Normal Extensions of S5-Squared Are Finitely Axiomatizable. Studia Logica 78 (3):443-457.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  2
    Nick Bezhanishvili & Silvio Ghilardi (2014). The Bounded Proof Property Via Step Algebras and Step Frames. Annals of Pure and Applied Logic 165 (12):1832-1863.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  1
    Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze (2016). Admissible Bases Via Stable Canonical Rules. Studia Logica 104 (2):317-341.
    We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  15
    Nick Bezhanishvili (2008). Frame Based Formulas for Intermediate Logics. Studia Logica 90 (2):139 - 159.
    In this paper we define the notion of frame based formulas. We show that the well-known examples of formulas arising from a finite frame, such as the Jankov-de Jongh formulas, subframe formulas and cofinal subframe formulas, are all particular cases of the frame based formulas. We give a criterion for an intermediate logic to be axiomatizable by frame based formulas and use this criterion to obtain a simple proof that every locally tabular intermediate logic is axiomatizable by Jankov-de Jongh formulas. (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  15.  2
    Guram Bezhanishvili, Nick Bezhanishvili & Dick de Jongh (2008). The Kuznetsov-Gerčiu and Rieger-Nishimura Logics. Logic and Logical Philosophy 17 (1-2):73-110.
    We give a systematic method of constructing extensions of the Kuznetsov-Gerčiu logic KG without the finite model property (fmp for short), and show that there are continuum many such. We also introduce a new technique of gluing of cyclic intuitionistic descriptive frames and give a new simple proof of Gerčiu’s result [9, 8] that all extensions of the Rieger-Nishimura logic RN have the fmp. Moreover, we show that each extension of RN has the poly-size model property, thus improving on [9]. (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  16.  3
    Nick Bezhanishvili & Dick Jongh (2012). Extendible Formulas in Two Variables in Intuitionistic Logic. Studia Logica 100 (1-2):61-89.
    We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of n -universal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi’s theorem that every extendible formula is projective.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  17. Nick Bezhanishvili & Maarten Marx (2004). All Proper Normal Extensions of S5-Square Have the Polynomial Size Model Property. Studia Logica 73 (3):367-382.
    Direct download  
     
    Export citation  
     
    My bibliography  
  18. Guram Bezhanishvili, Nick Bezhanishvili & Rosalie Iemhoff (2016). Stable Canonical Rules. Journal of Symbolic Logic 81 (1):284-315.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography