This is a preview of subscription content, log in via an institution to check access.
References
Bennett, Brandon, 1994, "Spatial reasoning with propositional logics," in 4th International Conference on Knowledge Representation and Reasoning, San Francisco, CA: Morgan Kaufmann.
Goodman, Nelson, 1968, Languages of Art: An Approach to a Theory of Symbols, London: Oxford University Press.
Harel, David, 1988, "On visual formalisms," Communications of the ACM 31(5), 514–530.
Lemon, Oliver, 1996, "Semantical foundations of spatial logics," pp. 212–219 in Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR ’96), L.C. Aiello, J. Doyle, and S.C. Shapiro, eds., San Francisco, CA: Morgan Kaufmann Publishers.
Shimojima, Atsushi, 1996, "Constraint-preserving representations, pp. 201–208 in Proceedings of the 2nd conference on Information Theoretic Approaches to Logic, Language, and Computation (ITALLC), London Guildhall University, Department of Psychology.
Shin, Sun-Joo, 1991, "A situation-theoretic account of valid reasoning with Venn diagrams," pp. 581–605 in Situation Theory and Its Applications. Stanford, CA: CSLI Publications.
Shin, Sun-Joo, 1995, The Logical Status of Diagrams, Cambridge: Cambridge University Press.
Sowa, John F., 1984, Conceptual Structures: Information Processing in Mind and Machine, London: Addison Wesley.
Stenning, Keith and Oberlander, Jon, 1995, "A cognitive theory of graphical and linguistic reasoning: Logic and implementation," Cognitive Science 19(1), 97–140.
Tarski, Alfred, 1956, Logic, Semantics, Metamathematics, Oxford: Clarendon Press.
Tennant, Neil, 1986, "The withering away of formal semantics?," Mind and Language 1(4), 302–318.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lemon, O.J. Book Review. Journal of Logic, Language and Information 6, 213–216 (1997). https://doi.org/10.1023/A:1008278914765
Issue Date:
DOI: https://doi.org/10.1023/A:1008278914765