Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
logical system
|
gptkbp:application |
natural language semantics
|
gptkbp:extendsTo |
predicate logic
|
gptkbp:field |
gptkb:logic
formal semantics |
gptkbp:focusesOn |
anaphora resolution
context change |
https://www.w3.org/2000/01/rdf-schema#label |
Dynamic Predicate Logic
|
gptkbp:introduced |
gptkb:Jeroen_Groenendijk
gptkb:Martin_Stokhof |
gptkbp:introducedIn |
1991
|
gptkbp:notableIdea |
variable binding
context update dynamic interpretation of quantifiers |
gptkbp:publishedIn |
gptkb:Journal_of_Philosophical_Logic
|
gptkbp:relatedTo |
gptkb:Discourse_Representation_Theory
Dynamic Semantics |
gptkbp:bfsParent |
gptkb:DPL
gptkb:Gennaro_Chierchia |
gptkbp:bfsLayer |
7
|