Switch to: References

Add citations

You must login to add citations.
  1. The D-Logic of the Rational Numbers: A Fruitful Construction.Joel Lucero-Bryan - 2011 - Studia Logica 97 (2):265-295.
    We present a geometric construction that yields completeness results for modal logics including K4, KD4, GL and GL n with respect to certain subspaces of the rational numbers. These completeness results are extended to the bimodal case with the universal modality.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  • Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.
    Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.
    In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Topological Models of Columnar Vagueness.Thomas Mormann - manuscript
    This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological reconstruction (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Not Much Higher-Order Vagueness in Williamson’s ’Logic of Clarity’.Nasim Mahoozi & Thomas Mormann - manuscript
    This paper deals with higher-order vagueness in Williamson's 'logic of clarity'. Its aim is to prove that for 'fixed margin models' (W,d,α ,[ ]) the notion of higher-order vagueness collapses to second-order vagueness. First, it is shown that fixed margin models can be reformulated in terms of similarity structures (W,~). The relation ~ is assumed to be reflexive and symmetric, but not necessarily transitive. Then, it is shown that the structures (W,~) come along with naturally defined maps h and s (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Modal Cognitivism and Modal Expressivism.Hasen Khudairi - manuscript
    This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras comprise a materially adequate fragment of the language of thought, and endeavor to show how such algebras provide the resources necessary to resolve Russell's paradox of propositions. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are dually isomorphic. I examine, in particular, the virtues (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Cognitivism About Epistemic Modality.Hasen Khudairi - manuscript
    This paper aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of the equivalence relations countenanced in Homotopy Type Theory, in order to specify an abstraction principle for intensional, computational properties. The homotopic abstraction principle for intensional mental functions provides an epistemic conduit into our knowledge of cognitive algorithms as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of mind, (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • 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 (6 more)  
     
    Export citation  
     
    Bookmark  
  • Forms of Luminosity.Hasen Khudairi - 2017
    This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism.Hasen Khudairi - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer.
    This essay examines the philosophical significance of Ω-logic in Zermelo-Fraenkel set theory with choice (ZFC). The dual isomorphism between algebra and coalgebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of Ω-logical validity can then be countenanced within a coalgebraic logic, and Ω-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of Ω-logical validity correspond to those of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Topological Foundations of Cognitive Science.Carola Eschenbach, Christopher Habel & Barry Smith - manuscript
    A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: -/- ** Topological Foundations of Cognitive Science, Barry Smith -/- ** The Bounds of Axiomatisation, Graham White -/- ** Rethinking Boundaries, Wojciech Zelaniec -/- ** Sheaf Mereology and Space Cognition, Jean Petitot -/- ** A Mereotopological Definition of 'Point', Carola Eschenbach -/- ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel -/- ** Mass Reference and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • The Genesis of Possible Worlds Semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
    This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  • Topology, Connectedness, and Modal Logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 151-176.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Completeness and Definability of a Modal Logic Interpreted Over Iterated Strict Partial Orders.Philippe Baldiani & Levan Uridia - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 71-88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Two Episodes in the Unification of Logic and Topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • On Modal Logics of Partial Recursive Functions.Pavel Naumov - 2005 - Studia Logica 81 (3):295-309.
    The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional language by a new binary modality that corresponds to partial recursive function type constructor under the above interpretation. The cases of deterministic and non-deterministic functions are considered and for both of them semantically complete modal logics are described and decidability of these logics is established.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Lattice Logic as a Fragment of Residuated Modal Logic.Chrysafis Hartonas - 2018 - Journal of Applied Non-Classical Logics 29 (2):152-170.
    ABSTRACTCorrespondence and Shalqvist theories for Modal Logics rely on the simple observation that a relational structure is at the same time the basis for a model of modal logic and for a model of first-order logic with a binary predicate for the accessibility relation. If the underlying set of the frame is split into two components,, and, then frames are at the same time the basis for models of non-distributive lattice logic and of two-sorted, residuated modal logic. This suggests that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Analogues of Bull’s Theorem for Hybrid Logic.Willem Conradie & Claudette Robinson - 2019 - Logic Journal of the IGPL 27 (3):281-313.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
    We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-structure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and conditional logics. Throughout the modal walk through space, expressive power is analyzed in terms of language design, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Modal Languages for Topology: Expressivity and Definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.
    In this paper we study the expressive power and definability for modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt–Thomason definability theorem in terms of the well-established first-order topological language.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Mass Problems and Intuitionism.Stephen G. Simpson - 2008 - Notre Dame Journal of Formal Logic 49 (2):127-136.
    Let $\mathcal{P}_w$ be the lattice of Muchnik degrees of nonempty $\Pi^0_1$ subsets of $2^\omega$. The lattice $\mathcal{P}$ has been studied extensively in previous publications. In this note we prove that the lattice $\mathcal{P}$ is not Brouwerian.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Absolute Completeness of S4u for Its Measure-Theoretic Semantics.David Fernández-Duque - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 100-119.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Willem Blok and Modal Logic.W. Rautenberg, M. Zakharyaschev & F. Wolter - 2006 - Studia Logica 83 (1-3):15-30.
    We present our personal view on W.J. Blok's contribution to modal logic.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logics for Multi-Subset Spaces.Bernhard Heinemann - 2010 - Journal of Applied Non-Classical Logics 20 (3):219-240.
    We generalize Moss and Parikh's logic of knowledge, effort, and topological reasoning, in two ways. We develop both a multi-agent and a multi-method setting for it. In each of these cases, we prove a corresponding soundness and completeness theorem, and we show that the new logics are decidable. Our methods of proof rely on those for the original system. This might have been expected, since that system is conservatively extended for the given situation. Several technical details are different nevertheless here.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Continuity, Freeness, and Filtrations.Silvio Ghilardi - 2010 - Journal of Applied Non-Classical Logics 20 (3):193-217.
    The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in incremental constructions of finitely generated free.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - 2017 - Gutenberg.
    This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The book demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Transcendental Ethics: Hyperintensional Foundations of Value Theory.Hasen Khudairi - 2017 - Gutenberg.
    This book concerns the modal and hyperintensional foundations of ethics. The book provides three metaphysical frameworks in which to examine the nature of ethical value, obligation, cognition, and consciousness. The first framework is an algebraic semantics, and provides support for the claim that truths about modality are metaphysically fundamental. The second framework is a multi-dimensional hyperintensional semantics, and is shown to provide a natural setting in which to address issues both in decision theory and which concern intentional action. The third (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • The Modal Logic of Continuous Functions on the Rational Numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
    Let ${{\mathcal L}^{\square\circ}}$ be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality □ and a temporal modality ◦, understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language ${{\mathcal L}^{\square\circ}}$ by interpreting ${{\mathcal L}^{\square\circ}}$ in dynamic topological systems, i.e., ordered pairs 〈X, f〉, where X is a topological space and f is a continuous function on X. Artemov, Davoren and Nerode have axiomatized a logic S4C, and have shown (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Multimo Dal Logics of Products of Topologies.Johan van Benthem, Guram Bezhanishvili, Balder ten Cate & Darko 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 (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  • On Subvarieties of Symmetric Closure Algebras.J. P. Dı́az Varela - 2001 - Annals of Pure and Applied Logic 108 (1-3):137-152.
    The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties of the subvariety of monadic symmetric algebras is described and an equational basis for each subvariety is given.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • A Quick Guided Tour to the Modal Logic S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2018 - Logic Journal of the IGPL 26 (4):429-451.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • The Topological Product of S4 and S.Philip Kremer - unknown
    Shehtman introduced bimodal logics of the products of Kripke frames, thereby introducing frame products of unimodal logics. Van Benthem, Bezhanishvili, ten Cate and Sarenac generalize this idea to the bimodal logics of the products of topological spaces, thereby introducing topological products of unimodal logics. In particular, they show that the topological product of S4 and S4 is S4 ⊗ S4, i.e., the fusion of S4 and S4: this logic is strictly weaker than the frame product S4 × S4. In this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Advances in Modal Logic, Volume.Rajeev Gore - unknown
    We study a propositional bimodal logic consisting of two S4 modalities and [a], together with the interaction axiom scheme a ϕ → a ϕ. In the intended semantics, the plain..
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Ways of Understanding Hugh MacColl's Concept of Symbolic Existence.Shahid Rahman - 1998 - Nordic Journal of Philosophical Logic 3:35-58.
  • Varieties of Complex Algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  • Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting.M. Makkai & G. E. Reyes - 1995 - Annals of Pure and Applied Logic 72 (1):25-101.
    Versions and extensions of intuitionistic and modal logic involving biHeyting and bimodal operators, the axiom of constant domains and Barcan's formula, are formulated as structured categories. Representation theorems for the resulting concepts are proved. Essentially stronger versions, requiring new methods of proof, of known completeness theorems are consequences. A new type of completeness result, with a topos theoretic character, is given for theories satisfying a condition considered by Lawvere . The completeness theorems are used to conclude results asserting that certain (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Euclidean Hierarchy in Modal Logic.Johan van Benthem1 Guram Bezhanishvili & Mai Gehrke - 2003 - Studia Logica 75:327-344.
  • Modal Logic: A Semantic Perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 BASIC MODAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • Mathematical Logic.Philip Kremer - unknown
    modality , understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language L by interpreting L in dynamic topological systems, i.e. ordered pairs X, f , where X is a topological space and f is a..
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
    We prove completeness of the propositional modal logic S 4 for the measure algebra based on the Lebesgue-measurable subsets of the unit interval, [0, 1]. In recent talks, Dana Scott introduced a new measure-based semantics for the standard propositional modal language with Boolean connectives and necessity and possibility operators, and . Propositional modal formulae are assigned to Lebesgue-measurable subsets of the real interval [0, 1], modulo sets of measure zero. Equivalence classes of Lebesgue-measurable subsets form a measure algebra, , and (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • A Modal Logic Framework for Reasoning About Comparative Distances and Topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.
    We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the comparison and combination of logics from distinct research traditions such as Tarski’s for topological closure and interior, conditional logics, and logics of comparative similarity. This framework is obtained by decomposing the underlying modal-like operators into first-order quantifier patterns. We then show that quite a powerful and natural fragment of the resulting first-order logic can be (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Intuitionistic Logic and Modality Via Topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.
    In the pioneering article and two papers, written jointly with McKinsey, Tarski developed the so-called algebraic and topological frameworks for the Intuitionistic Logic and the Lewis modal system. In this paper, we present an outline of modern systems with a topological tinge. We consider topological interpretation of basic systems GL and G of the provability logic in terms of the Cantor derivative and the Hausdorff residue.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Modes of Adjointness.M. Menni & C. Smith - 2013 - Journal of Philosophical Logic (2-3):1-27.
    The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint operators seems to have been formulated only very recently. This recent research, mainly motivated by applications in computer science, concentrates on technical issues related to the calculi and not on the significance of adjunctions in modal logic. It then seems a worthy enterprise (both (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Canonical Topological Model for Extensions of K4.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.
    Interpreting the diamond of modal logic as the derivative, we present a topological canonical model for extensions of K4 and show completeness for various logics. We also show that if a logic is topologically canonical, then it is relationally canonical.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Classical Modal De Morgan Algebras.Sergio A. Celani - 2011 - Studia Logica 98 (1-2):251-266.
    In this note we introduce the variety $${{\mathcal C}{\mathcal D}{\mathcal M}_\square}$$ of classical modal De Morgan algebras as a generalization of the variety $${{{\mathcal T}{\mathcal M}{\mathcal A}}}$$ of Tetravalent Modal algebras studied in [ 11 ]. We show that the variety $${{\mathcal V}_0}$$ defined by H. P. Sankappanavar in [ 13 ], and the variety S of Involutive Stone algebras introduced by R. Cignoli and M. S de Gallego in [ 5 ], are examples of classical modal De Morgan algebras. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Foreword.Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici & Yde Venema - 2012 - Studia Logica 100 (1-2):1-7.
  • A Proof of Topological Completeness for S4 In.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
    The completeness of the modal logic S4 for all topological spaces as well as for the real line , the n-dimensional Euclidean space and the segment etc. was proved by McKinsey and Tarski in 1944. Several simplified proofs contain gaps. A new proof presented here combines the ideas published later by G. Mints and M. Aiello, J. van Benthem, G. Bezhanishvili with a further simplification. The proof strategy is to embed a finite rooted Kripke structure for S4 into a subspace (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Dynamic Topological Logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
    Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • Completeness of S4 with Respect to the Real Line: Revisited.Guram Bezhanishvili & Mai Gehrke - 2004 - Annals of Pure and Applied Logic 131 (1):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   11 citations