Concepedia

Topological Semantics

Topological Semantics is a formal framework for interpreting modal logic in which the meaning of modal operators is defined in terms of topological spaces, with necessity interpreted as interior and possibility as closure under a given topology.

118

Publications

5.9K

Citations

177

Authors

143

Institutions

Publications per year

2017–2026

13

Variants

Topological Modal Logic

Parents

Publications

118

Partial Metric Topology

S. G. Matthews · Annals of the New York Academy of Sciences · 1994 · 1.2K citations

, , +14

Topological approaches to covering rough sets

William Zhu · Information Sciences · 2006 · 629 citations

, , +14

Distilling Knowledge From Graph Convolutional Networks

Yiding Yang, Jiayan Qiu, Mingli Song et al. · 2020 · 238 citations

, , +16

Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology

Nicholas Asher, Laure Vieu · 1995 · 170 citations

, , +16

Modelling topological and metrical properties in physical processes

David Randell, Anthony G. Cohn · 1989 · 142 citations

, , +17

1–5 of 118

Authors

177

  1. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    4 publications · 85 citations

    4

    h-index

  2. MZ
    Michael Zakharyaschev

    Birkbeck, University of London, United Kingdom

    4 publications · 85 citations

    4

    h-index

  3. JV
    Johan van Benthem

    University of Amsterdam, Netherlands

    3 publications · 80 citations

    3

    h-index

  4. YY
    Yiding Yang

    Stevens Institute of Technology, United States

    3 publications · 352 citations

    3

    h-index

  5. MS
    Mingli Song

    Zhejiang University, China

    3 publications · 352 citations

    3

    h-index

1–5 of 177

Institutions

143

  1. University of Amsterdam

    Amsterdam, The Netherlands

    5 h-index

    11 publications

    300 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    7 publications

    149 citations

  3. Stanford University

    Stanford, United States

    4 h-index

    4 publications

    109 citations

  4. University of Liverpool

    Liverpool, United Kingdom

    4 h-index

    6 publications

    137 citations

  5. Birkbeck, University of London

    London, United Kingdom

    3 h-index

    4 publications

    75 citations

  6. The University of Sydney

    Sydney, Australia

    3 h-index

    6 publications

    704 citations

  7. Université de Lorraine

    Nancy, France

    3 h-index

    7 publications

    258 citations

  8. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    3 h-index

    6 publications

    247 citations

1–8 of 143

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 8 publications · 145 citations

    7

    h-index

  2. Annals of Pure and Applied Logic

    7 publications · 407 citations

    7

    h-index

  3. Transactions of the American Mathematical Society

    TRAN · 5 publications · 163 citations

    5

    h-index

  4. Notre Dame Journal of Formal Logic

    5 publications · 95 citations

    5

    h-index

  5. Theoretical Computer Science

    4 publications · 187 citations

    4

    h-index

1–5