Premium
PREFACE
Author(s) -
Shao-Yun Fu
Publication year - 1973
Publication title -
acta psychiatrica scandinavica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.849
H-Index - 146
eISSN - 1600-0447
pISSN - 0001-690X
DOI - 10.1111/j.1600-0447.1973.tb10509.x
Subject(s) - psychology , medicine , psychoanalysis
Neighborhood models generalize the well-known relational models, or Kripke models, for modal logic. Although the idea underlying neighborhood models is implicit in the seminal work of McKinsey and Tarksi (1944), they were first formally defined by Dana Scott (1970) and Richard Montague (1970). The original motivation for generalizing relational models was to provide semantics for the so-called classical systems of modal logic: