Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Neighborhood_semantics> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Neighborhood_semantics abstract "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 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 still has a set W of worlds, but has instead of an accessibility relation a neighborhood function 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 where 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.".
- Neighborhood_semantics wikiPageID "5809298".
- Neighborhood_semantics wikiPageRevisionID "421458980".
- Neighborhood_semantics hasPhotoCollection Neighborhood_semantics.
- Neighborhood_semantics subject Category:Modal_logic.
- Neighborhood_semantics comment "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.".
- Neighborhood_semantics label "Neighborhood semantics".
- Neighborhood_semantics sameAs m.0f68g0.
- Neighborhood_semantics sameAs Q6988052.
- Neighborhood_semantics sameAs Q6988052.
- Neighborhood_semantics wasDerivedFrom Neighborhood_semantics?oldid=421458980.
- Neighborhood_semantics isPrimaryTopicOf Neighborhood_semantics.