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
    1,176 Citations

    Topics from this paper

    Tense and aspect in truth-conditional semantics
    • 27
    • PDF
    A constraint-based semantics for tenses and temporal auxiliaries
    • 13
    • PDF
    Effects and Handlers in Natural Language
    • Highly Influenced
    Discourse Representation Theory 1090
    • Highly Influenced
    • PDF
    Reasoning Between the Lines: a Logic of Relational Propositions
    • 1
    • PDF
    Linguistic$$\leftrightarrow $$↔Rational Agents’ Semantics
    • A. Dikovsky
    • Mathematics, Computer Science
    • J. Log. Lang. Inf.
    • 2017
    • 1

    References

    SHOWING 1-7 OF 7 REFERENCES
    Introduction to Montague semantics
    • 845
    Reference to abstract objects in discourse
    • Nicholas Asher
    • Computer Science
    • Studies in linguistics and philosophy
    • 1993
    • 998
    Logic and information
    • 782
    Situations and Attitudes.
    • 688
    Formal methods in the study of language
    • 695
    A theory of truth and
    • 1981