Neighborhood semantics

Neighborhood semantics, also known as Scott-Montague semantics, is a formal semantics for modal logics. It is a generalization, developed independently by Dana Scott and Richard Montague, of the more widely known relational semantics for modal logic. Whereas a relational frame $\langle W,R\rangle$ consists of a set W of worlds (or states) and an accessibility relation R intended to indicate which worlds are alternatives to (or, accessible from) others, a neighborhood frame $\langle W,N\rangle$ still has a set W of worlds, but has instead of an accessibility relation a neighborhood function

$N : W \to 2^{2^W}$

that assigns to each element of W a set of subsets of W. Intuitively, each family of subsets assigned to a world are the propositions necessary at that world, where 'proposition' is defined as a subset of W (i.e. the set of worlds at which the proposition is true). Specifically, if M is a model on the frame, then

$M,w\models\square A \Longleftrightarrow (A)^M \in N(w),$

where

$(A)^M = \{u\in W \mid M,u\models A \}$

is the truth set of A.

Neighborhood semantics is used for the classical modal logics that are strictly weaker than the normal modal logic K.

Correspondence between relational and neighborhood models

To every relational model M = (W,R,V) there corresponds an equivalent (in the sense of having point-wise equivalent modal theories) neighborhood model M' = (W,N,V) defined by

$N(w) = \{(A)^M: M,w\models\Box A\}.$

The fact that the converse fails gives a precise sense to the remark that neighborhood models are a generalization of relational ones. Another (perhaps more natural) generalization of relational structures are general relational structures.

References

• Scott, D. "Advice in modal logic", in Philosophical Problems in Logic, ed. Karel Lambert. Reidel, 1970.
• Montague, R. "Universal Grammar", Theoria 36, 373-98, 1970.
• Chellas, B.F. Modal Logic. Cambridge University Press, 1980.

This logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Modal logic Logic stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем решить контрольную работу Shankhanagar Noctambulant Look at other dictionaries: List of mathematics articles (N) — NOTOC N N body problem N category N category number N connected space N dimensional sequential move puzzles N dimensional space N huge cardinal N jet N Mahlo cardinal N monoid N player game N set N skeleton N sphere N! conjecture Nabla symbol… …   Wikipedia Classical modal logic — In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operators which is also closed under the rule Alternatively one can give a dual definition of L by which L is classical iff it… …   Wikipedia Chinese room — If you can carry on an intelligent conversation using pieces of paper slid under a door, does this imply that someone or something on the other side understands what you are saying? The Chinese room is a thought experiment by John Searle which… …   Wikipedia Name — For other uses, see Name (disambiguation). Ceremonies, such as baptism, can be used to give names. A name is a word or term used for identification. Names can identify a class or category of things, or a single thing, either uniquely, or within a …   Wikipedia Sierpiński space — In mathematics, Sierpiński space (or the connected two point set) is a finite topological space with two points, only one of which is closed.It is the smallest example of a topological space which is neither trivial nor discrete. It is named… …   Wikipedia Illinois Institute of Technology — Infobox University name = Illinois Institute of Technology motto= Transforming Lives. Inventing the Future. type=Private, Space grant established=1940, predecessors established 1890s faculty=642 president=John L. Anderson undergrad=2,576 postgrad …   Wikipedia Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… …   Wikipedia Memory errors — Memory gaps and errors refer to the incorrect recall, or complete loss, of information in the memory system for a specific detail and/or event. Memory errors may include remembering events that never occurred, or remembering them differently from …   Wikipedia Metonymy — or Metronomy (  /mɨˈt …   Wikipedia Noam Chomsky — Chomsky redirects here. For other topics with the same name, see Chomsky (disambiguation). Noam Chomsky Noam Chomsky visiting Vancouver, Canada in 2004 …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”