This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barwise, Jon, and Perry, John: 1983, Situations and Attitudes, Bradford Books, Cambridge, MA.
Barwise, Jon: 1986a, ‘The Situation in Logic — III: Situations, Sets and the Axiom of Foundation’, in Alex Wilkie (ed.) Logic Colloquium 84, North Holland, Amsterdam. Also available as CSLI Technical Report CSLI-85–26 from the Center for the Study of Language and Information, Stanford University, 1985.
Barwise, Jon: 1986b, ‘Information and Circumstance’, Notre Dame Journal of Formal Logic, 27(3) 324–338.
Brachman, Ronald J., and Levesque, Hector J. (eds.): 1985, Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, CA.
Fodor, Jerry: 1975, The Language of Thought, Thomas Y. Crowell Co., New York. Paperback version, Harvard University Press Cambridge, MA, 1979.
Fodor, Jerry: 1980, ‘Methodological Solipsism Considered as a Research Strategy in Cognitive Psychology’, The Behavioral and Brain Sciences, 3(1), pp. 63–73.
Reprinted in Fodor, Jerry, Representations, Bradford, Cambridge, MA, 1981.
Mumford, Lewis: 1934, Technics and Civilization, Harcourt, Brace & Co., New York. Reprinted 1943.
Newell, Allen: 1980, ‘Physical Symbol Systems’, Cognitive Science 4, 135–183.
Perry, John: 1986, ‘Circumstantial Attitudes and Benevolent Cognition’, in J. Butterfield (ed.), Language, Mind and Logic, pp. 123–134, Cambridge University Press Cambridge.
Postman, Neil: 1985, Amusing Ourselves to Death: Public Discourse in the Age of Show Business, Penguin Books, New York.
Smith, Brian C: 1982, Reflection and Semantics in a Procedural Language, Technical Report MIT/LCS/TR-272, M.I.T., Cambridge, MA, 495 pp. Prologue reprinted in (Brachman and Levesque, 1985), pp. 31–39.
Smith, Brian C: 1984, ‘Reflection and Semantics in Lisp’, Conference Record of 11th Principles of Programming Languages Conference, pp. 23–35, Salt Lake City, Utah. Also available as Xerox PARC Intelligent Systems Laboratory Technical Report ISL-5, Palo Alto, California, 1984.
Smith, Brian C: 1986, ‘The Correspondence Continuum’, appeared with the Proceedings of the Sixth Canadian AI Conference, Montreal, Canada, May 21–23. Available as CSLI Technical Report CSLI-87–71 from the Center for the Study of Language and Information, Stanford University, 1987. To appear in Artificial Intelligence (forthcoming).
Smith, Brian C: Is Computation Formal? MIT Press/A Bradford Book Cambridge, MA. (Forthcoming.)
Winograd, Terry, and Flores, Fernando: 1986, Understanding Computers and Cognition: A New Foundation for Design, Ablex, Norwood, New Jersey.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Kluwer Academic Publishers
About this chapter
Cite this chapter
Smith, B.C. (1988). The Semantics of Clocks. In: Fetzer, J.H. (eds) Aspects of Artificial Intelligence. Studies in Cognitive Systems, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-2699-8_1
Download citation
DOI: https://doi.org/10.1007/978-94-009-2699-8_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-55608-038-8
Online ISBN: 978-94-009-2699-8
eBook Packages: Springer Book Archive