54 found
Order:
Disambiguations
Guram Bezhanishvili [50]G. Bezhanishvili [8]Gurman Bezhanishvili [1]
  1.  79
    A Semantic Hierarchy for Intuitionistic Logic.Guram Bezhanishvili & Wesley H. Holliday - 2019 - Indagationes Mathematicae 30 (3):403-469.
    Brouwer's views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional calculus and its extensions. The theory of these systems has become an independent branch of logic with connections to lattice theory, topology, modal logic and other areas. This paper aims to present a modern account of semantics for intuitionistic propositional systems. The guiding idea is that of a hierarchy of semantics, organized by increasing generality: from the least general Kripke (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  20
    Stable canonical rules.Guram Bezhanishvili, Nick Bezhanishvili & Rosalie Iemhoff - 2016 - Journal of Symbolic Logic 81 (1):284-315.
  3.  52
    Some Results on Modal Axiomatization and Definability for Topological Spaces.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2005 - Studia Logica 81 (3):325-355.
    We consider two topological interpretations of the modal diamond—as the closure operator (C-semantics) and as the derived set operator (d-semantics). We call the logics arising from these interpretations C-logics and d-logics, respectively. We axiomatize a number of subclasses of the class of nodec spaces with respect to both semantics, and characterize exactly which of these classes are modally definable. It is demonstrated that the d-semantics is more expressive than the C-semantics. In particular, we show that the d-logics of the six (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  4.  46
    (1 other version)Multimo dal Logics of Products of Topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369 - 392.
    We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion ${\bf S4}\oplus {\bf S4}$ . We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies. We prove that both of these logics are complete for the product of rational numbers ${\Bbb Q}\times {\Bbb Q}$ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  5.  29
    A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras.Guram Bezhanishvili, David Gabelaia & Mamuka Jibladze - 2022 - Journal of Mathematical Logic 22 (3).
    Journal of Mathematical Logic, Volume 22, Issue 03, December 2022. In this paper, we show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting–Brouwer logic [math] that are topologically incomplete. This result provides further insight into the long-standing open problem of Kuznetsov by yielding a negative solution of the reformulation of the problem from extensions of [math] to extensions of [math].
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  30
    A strict implication calculus for compact Hausdorff spaces.G. Bezhanishvili, N. Bezhanishvili, T. Santoli & Y. Venema - 2019 - Annals of Pure and Applied Logic 170 (11):102714.
  7.  35
    Krull dimension in modal logic.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2017 - Journal of Symbolic Logic 82 (4):1356-1386.
    We develop the theory of Krull dimension forS4-algebras and Heyting algebras. This leads to the concept of modal Krull dimension for topological spaces. We compare modal Krull dimension to other well-known dimension functions, and show that it can detect differences between topological spaces that Krull dimension is unable to detect. We prove that for aT1-space to have a finite modal Krull dimension can be described by an appropriate generalization of the well-known concept of a nodec space. This, in turn, can (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8.  54
    Locally Finite Reducts of Heyting Algebras and Canonical Formulas.Guram Bezhanishvili & Nick Bezhanishvili - 2017 - Notre Dame Journal of Formal Logic 58 (1):21-45.
    The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded distributive lattices and the variety of implicative semilattices. The variety of bounded distributive lattices is generated by the →-free reducts of Heyting algebras, while the variety of implicative semilattices is generated by the ∨-free reducts. Each of these reducts gives rise to canonical formulas that generalize Jankov formulas and provide an axiomatization of all superintuitionistic logics. The ∨-free reducts of Heyting algebras give rise to the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  27
    On modal logics arising from scattered locally compact Hausdorff spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2019 - Annals of Pure and Applied Logic 170 (5):558-577.
  10. Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
    This paper deals with the varieties of monadic Heyting algebras, algebraic models of intuitionistic modal logic MIPC. We investigate semisimple, locally finite, finitely approximated and splitting varieties of monadic Heyting algebras as well as varieties with the disjunction and the existence properties. The investigation of monadic Heyting algebras clarifies the correspondence between intuitionistic modal logics over MIPC and superintuitionistic predicate logics and provides us with the solutions of several problems raised by Ono [35].
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  11.  29
    Completeness of S4 with respect to the real line: revisited.Guram Bezhanishvili & Mai Gehrke - 2004 - Annals of Pure and Applied Logic 131 (1-3):287-301.
    We prove that S4 is complete with respect to Boolean combinations of countable unions of convex subsets of the real line, thus strengthening a 1944 result of McKinsey and Tarski 45 141). We also prove that the same result holds for the bimodal system S4+S5+C, which is a strengthening of a 1999 result of Shehtman 369).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  12.  49
    Modal Logics of Metric Spaces.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Review of Symbolic Logic 8 (1):178-191.
    It is a classic result (McKinsey & Tarski, 1944; Rasiowa & Sikorski, 1963) that if we interpret modal diamond as topological closure, then the modal logic of any dense-in-itself metric space is the well-known modal system S4. In this paper, as a natural follow-up, we study the modal logic of an arbitrary metric space. Our main result establishes that modal logics arising from metric spaces form the following chain which is order-isomorphic (with respect to the ⊃ relation) to the ordinalω+ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  13.  33
    An algebraic approach to subframe logics. Intuitionistic case.Guram Bezhanishvili & Silvio Ghilardi - 2007 - Annals of Pure and Applied Logic 147 (1):84-100.
    We develop duality between nuclei on Heyting algebras and certain binary relations on Heyting spaces. We show that these binary relations are in 1–1 correspondence with subframes of Heyting spaces. We introduce the notions of nuclear and dense nuclear varieties of Heyting algebras, and prove that a variety of Heyting algebras is nuclear iff it is a subframe variety, and that it is dense nuclear iff it is a cofinal subframe variety. We give an alternative proof that every subframe variety (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  14.  69
    Euclidean hierarchy in modal logic.Johan van Benthem, Guram Bezhanishvili & Mai Gehrke - 2003 - Studia Logica 75 (3):327-344.
    For a Euclidean space , let L n denote the modal logic of chequered subsets of . For every n 1, we characterize L n using the more familiar Kripke semantics, thus implying that each L n is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics L n form a decreasing chain converging to the logic L of chequered subsets of . As a result, we obtain that L is also a logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  15.  19
    An Algebraic Approach to Canonical Formulas: Intuitionistic Case.Guram Bezhanishvili - 2009 - Review of Symbolic Logic 2 (3):517.
    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 (∧, →) homomorphisms, (∧, →, 0) homomorphisms, and (∧, →, ∨) homomorphisms between Heyting algebras, thus establishing a generalization of Esakia duality. This yields an algebraic characterization of Zakharyaschev’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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  16.  44
    An Algebraic Approach to Subframe Logics. Modal Case.Guram Bezhanishvili, Silvio Ghilardi & Mamuka Jibladze - 2011 - Notre Dame Journal of Formal Logic 52 (2):187-202.
    We prove that if a modal formula is refuted on a wK4-algebra ( B ,□), then it is refuted on a finite wK4-algebra which is isomorphic to a subalgebra of a relativization of ( B ,□). As an immediate consequence, we obtain that each subframe and cofinal subframe logic over wK4 has the finite model property. On the one hand, this provides a purely algebraic proof of the results of Fine and Zakharyaschev for K4 . On the other hand, it (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  17.  42
    An Algebraic Approach to Canonical Formulas: Modal Case.Guram Bezhanishvili & Nick Bezhanishvili - 2011 - 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 (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  18.  20
    Tychonoff hed-spaces and Zemanian extensions of s4.3.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2018 - Review of Symbolic Logic 11 (1):115-132.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  35
    Scattered and hereditarily irresolvable spaces in modal logic.Guram Bezhanishvili & Patrick J. Morandi - 2010 - Archive for Mathematical Logic 49 (3):343-365.
    When we interpret modal ◊ as the limit point operator of a topological space, the Gödel-Löb modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we interpret (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  36
    Temporal Interpretation of Monadic Intuitionistic Quantifiers.Guram Bezhanishvili & Luca Carai - 2023 - Review of Symbolic Logic 16 (1):164-187.
    We show that monadic intuitionistic quantifiers admit the following temporal interpretation: “always in the future” (for$\forall $) and “sometime in the past” (for$\exists $). It is well known that Prior’s intuitionistic modal logic${\sf MIPC}$axiomatizes the monadic fragment of the intuitionistic predicate logic, and that${\sf MIPC}$is translated fully and faithfully into the monadic fragment${\sf MS4}$of the predicate${\sf S4}$via the Gödel translation. To realize the temporal interpretation mentioned above, we introduce a new tense extension${\sf TS4}$of${\sf S4}$and provide a full and faithful translation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  69
    Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
    In this paper we continue the investigation of monadic Heyting algebras which we started in [2]. Here we present the representation theorem for monadic Heyting algebras and develop the duality theory for them. As a result we obtain an adequate topological semantics for intuitionistic modal logics over MIPC along with a Kripke-type semantics for them. It is also shown the importance and the effectiveness of the duality theory for further investigation of monadic Heyting algebras and logics over MIPC.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  22.  16
    Modal Operators on Rings of Continuous Functions.Guram Bezhanishvili, Luca Carai & Patrick J. Morandi - 2022 - Journal of Symbolic Logic 87 (4):1322-1348.
    It is a classic result in modal logic, often referred to as Jónsson-Tarski duality, that the category of modal algebras is dually equivalent to the category of descriptive frames. The latter are Kripke frames equipped with a Stone topology such that the binary relation is continuous. This duality generalizes the celebrated Stone duality for boolean algebras. Our goal is to generalize descriptive frames so that the topology is an arbitrary compact Hausdorff topology. For this, instead of working with the boolean (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  23
    On Topological Models of GLP.Lev Beklemishev, Guram Bezhanishvili & Thomas Icard - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 135-156.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  28
    The Modal Logic of Stone Spaces: Diamond as Derivative.Guram Bezhanishvili - 2010 - Review of Symbolic Logic 3 (1):26-40.
    We show that if we interpret modal diamond as the derived set operator of a topological space, then the modal logic of Stone spaces isK4and the modal logic of weakly scattered Stone spaces isK4G. As a corollary, we obtain thatK4is also the modal logic of compact Hausdorff spaces andK4Gis the modal logic of weakly scattered compact Hausdorff spaces.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  30
    The modal logic of {beta(mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.
    Let ${\beta(\mathbb{N})}$ denote the Stone–Čech compactification of the set ${\mathbb{N}}$ of natural numbers (with the discrete topology), and let ${\mathbb{N}^\ast}$ denote the remainder ${\beta(\mathbb{N})-\mathbb{N}}$ . We show that, interpreting modal diamond as the closure in a topological space, the modal logic of ${\mathbb{N}^\ast}$ is S4 and that the modal logic of ${\beta(\mathbb{N})}$ is S4.1.2.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  73
    Priestley Style Duality for Distributive Meet-semilattices.Guram Bezhanishvili & Ramon Jansana - 2011 - Studia Logica 98 (1-2):83-122.
    We generalize Priestley duality for distributive lattices to a duality for distributive meet-semilattices. On the one hand, our generalized Priestley spaces are easier to work with than Celani’s DS-spaces, and are similar to Hansoul’s Priestley structures. On the other hand, our generalized Priestley morphisms are similar to Celani’s meet-relations and are more general than Hansoul’s morphisms. As a result, our duality extends Hansoul’s duality and is an improvement of Celani’s duality.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  30
    Cofinal Stable Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2016 - Studia Logica 104 (6):1287-1317.
    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  
     
    Bookmark   3 citations  
  28.  44
    The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem.Guram Bezhanishvili - 2010 - Annals of Pure and Applied Logic 161 (3):253-267.
    We introduce the bimodal logic , which is the extension of Bennett’s bimodal logic by Grzegorczyk’s axiom □→p)→p and show that the lattice of normal extensions of the intuitionistic modal logic WS5 is isomorphic to the lattice of normal extensions of , thus generalizing the Blok–Esakia theorem. We also introduce the intuitionistic modal logic WS5.C, which is the extension of WS5 by the axiom →, and the bimodal logic , which is the extension of Shehtman’s bimodal logic by Grzegorczyk’s axiom, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  38
    Characterizing Existence of a Measurable Cardinal Via Modal Logic.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2021 - Journal of Symbolic Logic 86 (1):162-177.
    We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the powerset of a two element set.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  26
    A New Proof of the McKinsey–Tarski Theorem.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. van Mill - 2018 - Studia Logica 106 (6):1291-1311.
    It is a landmark theorem of McKinsey and Tarski that if we interpret modal diamond as closure, then \ is the logic of any dense-in-itself metrizable space. The McKinsey–Tarski Theorem relies heavily on a metric that gives rise to the topology. We give a new and more topological proof of the theorem, utilizing Bing’s Metrization Theorem.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  28
    Characterizing Existence of a Measurable Cardinal Via Modal Logic.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2021 - Journal of Symbolic Logic 86 (1):162-177.
    We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the powerset of a two element set.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  74
    Canonical formulas for wk4.Guram Bezhanishvili & Nick Bezhanishvili - 2012 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  48
    More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
    We prove that each countable rooted K4 -frame is a d-morphic image of a subspace of the space $\mathbb{Q}$ of rational numbers. From this we derive that each modal logic over K4 axiomatizable by variable-free formulas is the d-logic of a subspace of $\mathbb{Q}$ . It follows that subspaces of $\mathbb{Q}$ give rise to continuum many d-logics over K4 , continuum many of which are neither finitely axiomatizable nor decidable. In addition, we exhibit several families of modal logics finitely axiomatizable (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  22
    Stable Modal Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.
    Stable logics are modal logics characterized by a class of frames closed under relation preserving images. These logics admit all filtrations. Since many basic modal systems such as K4 and S4 are not stable, we introduce the more general concept of an M-stable logic, where M is an arbitrary normal modal logic that admits some filtration. Of course, M can be chosen to be K4 or S4. We give several characterizations of M-stable logics. We prove that there are continuum many (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  26
    The Mckinsey–Tarski Theorem for Locally Compact Ordered Spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2021 - Bulletin of Symbolic Logic 27 (2):187-211.
    We prove that the modal logic of a crowded locally compact generalized ordered space is$\textsf {S4}$. This provides a version of the McKinsey–Tarski theorem for generalized ordered spaces. We then utilize this theorem to axiomatize the modal logic of an arbitrary locally compact generalized ordered space.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  21
    A New Proof of the McKinsey–Tarski Theorem.J. Mill, J. Lucero-Bryan, N. Bezhanishvili & G. Bezhanishvili - 2018 - Studia Logica 106 (6):1291-1311.
    It is a landmark theorem of McKinsey and Tarski that if we interpret modal diamond as closure, then $$\mathsf S4$$ S4 is the logic of any dense-in-itself metrizable space. The McKinsey–Tarski Theorem relies heavily on a metric that gives rise to the topology. We give a new and more topological proof of the theorem, utilizing Bing’s Metrization Theorem.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Modal logics for product topologies.Johan van Benthem, Guram Bezhanishvili, Balder Ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):375-99.
  38.  82
    Glivenko type theorems for intuitionistic modal logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
    In this article we deal with Glivenko type theorems for intuitionistic modal logics over Prior's MIPC. We examine the problems which appear in proving Glivenko type theorems when passing from the intuitionistic propositional logic Intto MIPC. As a result we obtain two different versions of Glivenko's theorem for logics over MIPC. Since MIPCcan be thought of as a one-variable fragment of the intuitionistic predicate logic Q-Int, one of the versions of Glivenko's theorem for logics over MIPCis closely related to that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39.  25
    Tree-like constructions in topology and modal logic.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. van Mill - 2020 - Archive for Mathematical Logic 60 (3):265-299.
    Within ZFC, we develop a general technique to topologize trees that provides a uniform approach to topological completeness results in modal logic with respect to zero-dimensional Hausdorff spaces. Embeddings of these spaces into well-known extremally disconnected spaces then gives new completeness results for logics extending S4.2.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  56
    Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
    This paper is the concluding part of [1] and [2], and it investigates the inner structure of the lattice (MHA) of all varieties of monadic Heyting algebras. For every n , we introduce and investigate varieties of depth n and cluster n, and present two partitions of (MHA), into varieties of depth n, and into varieties of cluster n. We pay a special attention to the lower part of (MHA) and investigate finite and critical varieties of monadic Heyting algebras in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41.  38
    Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.
    We introduce the concept of a connected logic (over S4) and show that each connected logic with the finite model property is the logic of a subalgebra of the closure algebra of all subsets of the real line R, thus generalizing the McKinsey-Tarski theorem. As a consequence, we obtain that each intermediate logic with the finite model property is the logic of a subalgebra of the Heyting algebra of all open subsets of R.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  38
    Topological Completeness of Logics Above S4.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Journal of Symbolic Logic 80 (2):520-566.
    It is a celebrated result of McKinsey and Tarski [28] thatS4is the logic of the closure algebraΧ+over any dense-in-itself separable metrizable space. In particular,S4is the logic of the closure algebra over the realsR, the rationalsQ, or the Cantor spaceC. By [5], each logic aboveS4that has the finite model property is the logic of a subalgebra ofQ+, as well as the logic of a subalgebra ofC+. This is no longer true forR, and the main result of [5] states that each connected (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  42
    The Kuznetsov-Gerčiu and Rieger-Nishimura logics.Guram Bezhanishvili, Nick Bezhanishvili & Dick de Jongh - 2008 - 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  
     
    Bookmark   3 citations  
  44. Logic for physical space: From antiquity to present days.Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko - 2012 - Synthese 186 (3):619-632.
    Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45.  13
    The Baire Closure and its Logic.G. Bezhanishvili & D. Fernández-Duque - 2024 - Journal of Symbolic Logic 89 (1):27-49.
    The Baire algebra of a topological space X is the quotient of the algebra of all subsets of X modulo the meager sets. We show that this Boolean algebra can be endowed with a natural closure operator, resulting in a closure algebra which we denote $\mathbf {Baire}(X)$. We identify the modal logic of such algebras to be the well-known system $\mathsf {S5}$, and prove soundness and strong completeness for the cases where X is crowded and either completely metrizable and continuum-sized (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  12
    Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.
    This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area. Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations (...)
    No categories
  47. Modal logics for products of topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - forthcoming - Studia Logica. To Appear.
  48.  31
    Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Archive for Mathematical Logic 51 (5-6):661-670.
    We show that subspaces of the space ${\mathbb{Q}}$ of rational numbers give rise to uncountably many d-logics over K4 without the finite model property.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018.Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.) - 2018
    No categories
     
    Export citation  
     
    Bookmark  
  50. Advances in Modal Logic, Vol. 12.Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.) - 2018 - College Publications.
     
    Export citation  
     
    Bookmark  
1 — 50 / 54