Neighborhood Semantics for Modal Logic

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:alternativeTo gptkb:Kripke_semantics
gptkbp:citation Dana Scott, 'Advice on Modal Logic', 1970
G. H. C. Restall, 'An Introduction to Substructural Logics', 2000
gptkbp:describes semantics for modal logic
gptkbp:field gptkb:logic
gptkbp:generalizes Kripke frame
gptkbp:hasConcept neighborhood function
neighborhood frame
neighborhood model
https://www.w3.org/2000/01/rdf-schema#label Neighborhood Semantics for Modal Logic
gptkbp:introduced gptkb:Dana_Scott
gptkbp:introducedIn 1970
gptkbp:relatedTo gptkb:possible_worlds_semantics
gptkbp:studiedIn gptkb:logic
gptkbp:usedFor deontic logic
epistemic logic
non-normal modal logics
monotonic modal logics
gptkbp:bfsParent gptkb:Eric_Pacuit
gptkbp:bfsLayer 6