The DOI matches its Crossref record; 5 of the 5 references it cites were found in a registry or an index.
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory
Abstract
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. Stipulated Identity and Asserted Identity. 3.6. Identity and Predication. 3.7. Scope Amibiguity. 4: The Plural. 4.1. Introduction. 4.2. DRS-Construction for Plurals I. 4.3. Model Theory. 4.4. DRS-Construction for Plurals II. 5: Tense and Aspect. 5.1. The Semantics and Logic of Temporal Reference. 5.2. DRS-Construction for Tensed Sentences. 5.3. Aspect. 5.4. Temporal Perspective. 5.5. Temporal Adverbials. 5.6. Model Theory. 5.7. Syntactic Rules. Bibliography. Table of Construction Rules. Index of Symbols, Features and Feature Values. Index of Names. Index of Subjects.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Barwise, J., & Perry, J. (1981) · The Journal of Philosophy · doi:10.2307/2026578 · Cited by 2,352
A Theory of Truth and Semantic Representation
Kamp, H. (2013) · Meaning and the Dynamics of Interpretation · doi:10.1163/9789004252882_014 · Cited by 1,502
Self-citationIntroduction to Montague Semantics
Dowty, D. R., Wall, R. E., & Peters, S. (1980) · Studies in Linguistics and Philosophy · doi:10.1007/978-94-009-9065-4 · Cited by 1,097
Formal Philosophy: Selected Papers of Richard Montague
Cooper, R., Thomason, R. H., & Montague, R. (1977) · Language · doi:10.2307/412917 · Cited by 763
Devlin, K. (1991) · Cited by 583
Cited by
The Logic of Conventional Implicatures
Potts, C. (2004) · Oxford University Press eBooks · doi:10.1093/acprof:oso/9780199273829.001.0001 · Cited by 1,311
Temporal interpretation, discourse relations and commonsense entailment
Lascarides, A., & Asher, N. (1993) · Linguistics and Philosophy · doi:10.1007/bf00986208 · Cited by 639
Reciprocal Expressions and the Concept of Reciprocity
Dalrymple, M., Kanazawa, M., Kim, Y., McHombo, S., & Peters, S. (1998) · Linguistics and Philosophy · doi:10.1023/a:1005330227480 · Cited by 531
Rhetorical Structure Theory: looking back and moving ahead
Taboada, M., & Mann, W. C. (2006) · Discourse Studies · doi:10.1177/1461445606061881 · Cited by 451
Human Reasoning and Cognitive Science
Stenning, K., & van Lambalgen, M. (2008) · The MIT Press eBooks · doi:10.7551/mitpress/7964.001.0001 · Cited by 437
Metadata
- Authors
- Heath, J., Kamp, H., & Reyle, U.
- Venue
- Language
- Publisher
- JSTOR
- Published
- 1995-12
- Volume
- 71
- Issue
- 4
- Pages
- 823
- ISSN
- 0097-8507 (ISSN-L)
- OpenAlex
- W2085574295
- Cited by
- 1,445
- References
- 5
- FWCI
- 275.64
- Type
- journal article
- Language
- en
- Open access
- closed
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. https://app.cochat.ai/papers/10.2307/415752
- The paper
- Heath, J., Kamp, H., & Reyle, U. (1995). From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Language. https://doi.org/10.2307/415752
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
