This is a preview of subscription content, log in via an institution to check access.
References
James F. Allen, Henry A. Kautz, Richard Pelavin, and Joshua Tennenberg (eds.), Reasoning About Plans, Morgan Kaufmann, San Francisco, California, 1991.
Alan Anderson and Nuel D. Belnap, Jr., Entailment, volume 1, Princeton University Press, Princeton, NJ, 1975.
Robert J. Aumann, ‘Agreeing to disagree’, Annals of Statistics 4(6):1236–1239, 1976.
K. Binmore, Essays on the Foundations of Game Theory, Basil Blackwell, Oxford, 1990.
Alonzo Church, ‘On Carnap's analysis of statements of assertion and belief,’ Analysis 10:97–99, 1950.
Herbert Clark, Arenas of Language Use, University of Chicago Press, Chicago, 1992.
Jon Doyle and Ramesh Patil, ‘Two theses of knowledge representation: Language restrictions, taxonomic classifications, and the utility of representation services’, Artificial Intelligence 48(3):261–298, 1989.
Martin Gardner, Puzzles From Other Worlds, Viking Press, New York, 1984.
John Geanakoplos, ‘Common knowledge’, in Yoram Moses (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Fourth Conference (TARK 1992), p. 254–315, Morgan Kaufmann, San Francisco, 1992.
Joseph Y. Halpern and Ronald Fagin, ‘Modelling knowledge and action in distributed systems’, Distributed Computing 3(4):159–179, 1989.
David Harel, ‘Dynamic logic’, in Dov Gabbay and Franz Guenther (ed.), Handbook of Philosophical Logic, vol. 2, p. 497–604, Reidel, Dordrecht, 1984.
Jaakko Hintikka, Knowledge and Belief, Cornell University Press, Ithaca, New York, 1962.
Jaakko Hintikka, ‘Reasoning about knowledge in philosophy: The paradigm of epistemic logic’, in Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the First Conference, p. 63–80, Los Altos, California, 1986. Morgan Kaufmann Publishers, Inc.
C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, New Jersey, 1985.
Phillipe Lamarre and Yoav Shoham, ‘Knowledge, certainty, belief, and conditionalization’, in J. Doyle, E. Sandewall, and P. Torasso (eds.), KR'94: Principles of Knowledge Representation and Reasoning, p. 415–424. Morgan Kaufmann, 1994.
Armin Laux and Heinrich Wansing (eds.), Knowledge and Belief in Philosophy and Artificial Intelligence, Akedemie Verlag, Berlin, 1995.
Hector J. Levesque and Ronald J. Brachman, ‘A fundamental tradeoff in KR and reasoning’, in Ronald J. Brachman and Hector J. Levesque (eds.), Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, California, 1995.
David K. Lewis, Convention: A Philosophical Study, Harvard University Press, Cambridge, Massachusetts, 1969.
R. Milner, A Calculus of Communicating Systems, number 92 in Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1980.
Stephen Morris and Hyun Song Shin, ‘Approximate common knowledge and coordination: Recent lessons from game theory’, Journal of Logic, Language, and Information 6(2):171–190, 1997.
Yoram Moses, ‘Knowledge and communication’, in Yoram Moses (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Fourth Conference (TARK 1992), p. 1–14, Morgan Kaufmann, San Francisco, 1992.
Philip Reny, ‘Common knowledge and games with perfect information’, in Arthur Fine and Janet Leplin (eds.), PSA 1988: Proceedings of the Biennial Meeting of the Philosophy of Science Association, vol. 2, p. 363–369, East Lansing, Michigan, 1992.
William A. Woods and James G. Schmolze, ‘The kl-one family’, in Fritz Lehmann (ed.), Semantic Networks in Artificial Intelligence, p. 133–177, Pergamon Press, Oxford, 1992.
References
James, W., and C. Mortensen, [1997], Categories, Sheaves, and Paraconsistent Logic, The University of Adelaide.
Mortensen, C., [1995], Inconsistent Mathematics, Kluwer Academic Publishers, Dordrecht.
Rights and permissions
About this article
Cite this article
James D. McCawley, Everything That Linguists Have Always Wanted to Know About Logic. Studia Logica 63, 121–150 (1999). https://doi.org/10.1023/A:1017201505279
Issue Date:
DOI: https://doi.org/10.1023/A:1017201505279