• Title of article

    Modal languages for topology: Expressivity and definability

  • Author/Authors

    ten Cate، نويسنده , , Balder and Gabelaia، نويسنده , , David and Sustretov، نويسنده , , Dmitry، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2009
  • Pages
    25
  • From page
    146
  • To page
    170
  • Abstract
    In this paper we study the expressive power and definability for (extended) 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 L t .
  • Keywords
    Topology , Definability , expressivity , Modal logic
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    2009
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    1443996

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1443996