Concepedia

Neighborhood Semantics

Neighborhood Semantics is a formal framework in modal logic that interprets modal operators through neighborhood functions assigning to each world a collection of subsets of worlds, thereby generalizing Kripke semantics by replacing accessibility relations with set-theoretic neighborhoods to model non-normal modal logics.

37

Publications

2.1K

Citations

56

Authors

52

Institutions

Publications per year

2017–2026

5

Variants

Scott-montague Semantics

Parents

Publications

37

Relational interpretations of neighborhood operators and rough set approximation operators

Yiyu Yao · Information Sciences · 1998 · 1K citations

, , +14

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

Davide Bresolin, Valentin Goranko, Angelo Montanari et al. · Annals of Pure and Applied Logic · 2009 · 84 citations

, , +14

A Coalgebraic Perspective on Monotone Modal Logic

Helle Hvid Hansen, Clemens Kupke · Electronic Notes in Theoretical Computer Science · 2004 · 74 citations · Full text

, , +17

Coming to Our Senses: A Naturalistic Program for Semantic Localism

David Braun, Michael Devitt · Philosophy and Phenomenological Research · 2000 · 71 citations

, , +8

NEIGHBOURHOOD STRUCTURES: BISIMILARITY AND BASIC MODEL THEORY

TU/e Research Portal (Eindhoven University of Technology) · 2009 · 70 citations · Full text

, , +13

1–5 of 37

Authors

56

  1. MG
    Martin Gerson

    Simon Fraser University, Canada

    3 publications · 79 citations

    3

    h-index

  2. GS
    Guido Sciavicco

    Universidad de Murcia, Spain

    3 publications · 120 citations

    3

    h-index

  3. EP
    Eric Pacuit

    University of Amsterdam, Netherlands

    2 publications · 64 citations

    2

    h-index

  4. JV
    Johan van Benthem

    University of Amsterdam, Netherlands

    2 publications · 79 citations

    2

    h-index

  5. AM
    Angelo Montanari

    University of Udine, Italy

    2 publications · 107 citations

    2

    h-index

1–5 of 56

Institutions

52

  1. University of Amsterdam

    Amsterdam, The Netherlands

    4 h-index

    7 publications

    296 citations

  2. Stanford University

    Stanford, United States

    3 h-index

    4 publications

    126 citations

  3. Universidad de Murcia

    Murcia, Spain

    3 h-index

    5 publications

    146 citations

  4. Kyoto University

    Kyoto, Japan

    2 h-index

    2 publications

    24 citations

  5. Technion – Israel Institute of Technology

    Haifa, Israel

    2 h-index

    3 publications

    64 citations

  6. Simon Fraser University

    Burnaby, Canada

    2 h-index

    2 publications

    65 citations

  7. University of Udine

    Udine, Italy

    2 h-index

    3 publications

    130 citations

  8. Tsinghua University

    Beijing, China

    2 h-index

    3 publications

    66 citations

1–8 of 52

Venues

  1. The Review of Symbolic Logic

    3 publications · 111 citations

    3

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 84 citations

    2

    h-index

  3. Studia Logica

    2 publications · 77 citations

    2

    h-index

  4. UvA-DARE (University of Amsterdam)

    Repository · 2 publications · 75 citations

    2

    h-index

  5. Logical Methods in Computer Science

    LMCS · 1 publications · 43 citations

    1

    h-index

1–5