References
Asher, Nicholas, 1986: Belief in Discourse Representation Theory.Journal of Philosophical Logic 15.
Brachman, Ronald J. and Hector J. Levesque (eds.), 1985:Readings in Knowledge Representation. Los Altos: Morgan Kaufmann.
Fodor, Jerry A., 1975:The Language of Thought. New York: Thomas Y. Crowell Co. (The Language & Thought Series).
Kamp, Hans, 1981: A Theory of Truth and Representation. In J. Groenendijket al. (eds.)Formal Methods in the Study of Language, reprinted 1984 in J. Groenendijket al. (eds.)Truth, Interpretation, and Information (Grass series, Vol. 2). Dordrecht: Foris.
Kamp, Hans, 1990: Prolegomena to a Structural Account of Belief and Other Attitudes. In C. A. Anderson and J. Owens (eds.),Propositional Attitudes: The Role of Content in Logic, Language, and Mind. CSLI Lecture Notes No. 20, Standford, CA.
Johnson-Laird, Philip, 1983:Mental Models. Cambridge: Cambridge University Press.
Moore, Robert C, 1982: The Role of Logic in Knowledge Representation and Commonsense Reasoning, Proceedings of the AAAI-82. Pittsburgh, 428–433. Also in Brachman/Levesque 1985.
Thomason, Richmond, 1970:Symbolic Logic. London: Macmillan.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Saurer, W. A natural deduction system for discourse representation theory. J Philos Logic 22, 249–302 (1993). https://doi.org/10.1007/BF01049304
Issue Date:
DOI: https://doi.org/10.1007/BF01049304