• DOI:10.1007/978-94-017-1616-1
Corpus ID: 45807661

From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

@inproceedings{Kamp1993FromDT,
  title={From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory},
  author={H. Kamp and Uwe Reyle},
  booktitle={Studies in linguistics and philosophy},
  year={1993}
}

H. Kamp, Uwe Reyle

Published in

Studies in linguistics and…

1993

Computer Science, Mathematics

Preface. 0: Preliminaries. 0.1. Theories of Meaning. 0.2. Logic. 0.3. Logic and Semantics. 0.4. Syntax. 1: DRT and Predicate Logic. 1.1. Simple Sentences. 1.2. Models. 1.3. Negation. 1.4. Verification, Truth and Accessibility. 1.5. From DRT to Predicate Logic. 2: Quantification and Connectives. 2.1. Conditionals. 2.2. Universal Quantification. 2.3. Disjunction. 2.4. Conjunction. 3: Loose Ends. 3.1. Reflexives. 3.2. Possessive Noun Phrases. 3.3. Proper Names. 3.4. Definite Descriptions. 3.5… CONTINUE READING

View via Publisher

link.springer.com

Save to Library

Create Alert

Cite

Launch Research Feed