Skip to main content
SpringerLink
Log in

Zooming In, Zooming Out

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

This is an exploratory paper about combining logics, combining theories and combining structures. Typically when one applies logic to such areas as computer science, artificial intelligence or linguistics, one encounters hybrid ontologies. The aim of this paper is to identify plausible strategies for coping with ontological richness.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Beaver, D., 1994, "What comes first in dynamic semantics?," PhD Thesis, University of Edinburgh.

  • van Benthem, J., 1991, Language in Action, Amsterdam: North-Holland.

    Google Scholar 

  • Blackburn, P., Gardent, C., and Meyer-Viol, W., 1993, "Talking about trees," pp. 21–29 in Proceedings of the 6th Conference of the European Chapter of the Association of Computational Linguistics, Utrecht.

  • Blackburn, P., Gardent, C., and de Rijke, M., 1996, "Rich ontologies for tense and aspect," in Logic, Language and Computation, J. Seligman and D. Westerståhl, eds., Stanford: CSLI Publications. To appear.

    Google Scholar 

  • Blackburn, P. and Meyer-Viol, W., 1996, "Modal logic and model theoretic syntax," in Advances in Intensional Logic, M. de Rijke, ed., Dordrecht: Kluwer. To appear.

    Google Scholar 

  • Blackburn, P., Meyer-Viol, W., and de Rijke, M., 1996, "A proof system for finite trees," in Computer Science Logic ’95, Berlin: Springer-Verlag. To appear.

    Google Scholar 

  • Blackburn, P. and de Rijke, M., 1996, Logics of communicating structures. In preparation.

  • Börger, E., 1990, "A logical operational semantics for full Prolog, Part 1." pp. 36–64 in Proceedings CSL ’89, E. Börger et al., eds., LNCS 440, Berlin: Springer-Verlag.

    Google Scholar 

  • Brink, C., Britz, K., and Schmidt, R., 1994, "Peirce algebras," Formal Aspects of Computing 6, 339–358.

    Google Scholar 

  • Fine, K. and Schurz, G., 1991, "Transfer theorems for stratified multi-modal logics," in Proceedings of the Arthur Prior Memorial Conference. To appear.

  • Finger, M. and Gabbay, D.M., 1992, "Adding a temporal dimension to a logic system," Journal of Logic, Language and Information 1, 203–233.

    Google Scholar 

  • Finger, M. and Gabbay, D.M., 1996, "Combining temporal logic systems," Notre Dame Journal of Formal Logic. To appear.

  • Gabbay, D.M., 1994, "Fibered semantics," manuscript, London: Imperial College.

    Google Scholar 

  • Gärdenfors, P., 1988, Knowledge in Flux, Cambridge, MA: MIT Press.

    Google Scholar 

  • Gazdar, G., Klein, E., Pullum, G., and Sag, I., 1985, Generalised Phrase Structure Grammar, Oxford: Basil Blackwell.

    Google Scholar 

  • Girard, J.-Y., 1987, "Linear logic," Theoretical Computer Science 50, 1–102.

    Google Scholar 

  • van Glabbeek, R., 1990, "Comparative concurrency semantics and refinement of actions," PhD Thesis, Vrije Universiteit Amsterdam.

  • Goguen J.A. and Burstall, R.M., 1984, "Some fundamental algebraic tools of the semantics of computation (I)," Theoretical Computer Science 31, 175–209.

    Google Scholar 

  • Groenendijk, J. and Stokhof, M., 1991, "Dynamic predicate logic," Linguistics and Philosophy 14, 39–100.

    Google Scholar 

  • Gurevich, Y., 1991, "Evolving algebras; a tutorial introduction," Bulletin EATCS 43, 264–284.

    Google Scholar 

  • Harel, D., 1984, "Dynamic logic," pp. 497–604 in Handbook of Philosophical Logic 2, D. Gabbay and F. Guenthner, eds., Dordrecht: Reidel.

    Google Scholar 

  • Hemaspaandra, E., 1994, "Complexity transfer for modal logic," pp. 164–173 in Proceedings 9th LICS, Paris.

  • Hemaspaandra, E., 1996, "The price of universality," Notre Dame Journal of Formal Logic. To appear.

  • Johnson, D., and Moss, L., 1994, "Grammar formalisms viewed as evolving algebras," Linguistics and Philosophy 17, 537–560.

    Google Scholar 

  • Joshi, A., Levy, L., and Takahashi, M., 1975, "Tree adjunct grammars," Journal of Computer and Systems Sciences 10, 136–163.

    Google Scholar 

  • Kaplan, R. and Bresnan, J., 1982, "Lexical-functional grammar: a formal system for grammatical representation," pp. 173–281 in The Mental Representation of Grammatical Relations, J. Bresnan, ed., Cambridge, MA: MIT Press.

    Google Scholar 

  • Kasper, R. and Rounds, W., 1990, "The logic of unification in grammar," Linguistics and Philosophy 13, 33–58.

    Google Scholar 

  • Kracht, M. and Wolter, F., 1991, "Properties of independently axiomatisable bimodal logics," Journal of Symbolic Logic 56, 1469–1485.

    Google Scholar 

  • Kurucz, A., Jánossy, A., and Eiben, G., 1996, "Combining algebraizable logics," Notre Dame Journal of Formal Logic. To appear.

  • Marx, M., Németi, I., Sain, I., and Mikulás, S., 1996, "Investigations in arrow logics," in Arrow Logics and Multi-modal Logics, M. Marx, L. Polos, and M. Masuch, eds., Studies in Logic, Language and Information. Stanford: CSLI Publications. To appear.

    Google Scholar 

  • Moens, M., and Steedman, M., 1988, "Temporal ontology and temporal reference," Computational Linguistics 14, 15–28.

    Google Scholar 

  • Moshier, D., and Rounds, W., 1987, "A logic for partially specified data structures," pp. 156–167 in Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich.

  • Pratt, V., 1976, "Semantical considerations on Floyd–Hoare logic," pp. 109–121 in Proceedings 17th IEEE Symposium on the Foundations of Computer Science.

  • Pratt, V., 1991, "Action logic and pure induction," pp. 79–120 in Logics in AI, J. van Eijck, ed., LNAI 478, Berlin: Springer.

    Google Scholar 

  • de Rijke, M., 1992, A system of dynamic modal logic, Report #CSLI-92-170, Stanford University. To appear in Journal of Philosophical Logic.

  • de Rijke, M., 1994, "Meeting some neighbours," pp. 170–195 in Logic and Information Flow, J. van Eijck and A. Visser, eds., Cambridge, MA: MIT Press.

    Google Scholar 

  • de Rijke, M., 1995, "The logic of Peirce algebras," Journal of Logic, Language and Information 4, 227–250.

    Google Scholar 

  • Seligman, J., 1990, "Perspectives: A relativistic approach to the theory of information," PhD Thesis, University of Edinburgh.

  • Seligman, J., 1996, Combining logics with ease. In preparation.

  • Spaan, E., 1993, "Complexity of modal logics," PhD Thesis, ILLC, University of Amsterdam.

  • Vakarelov, D., 1996, "Modal arrow logic," in Advances in Intensional Logic, M. de Rijke, ed., Dordrecht: Kluwer. To appear.

    Google Scholar 

  • Venema, Y., 1996, "A crash course in arrow logic," in Arrow Logics and Multi-modal Logics, M. Marx, L. Polos and M. Masuch, eds., Studies in Logic, Language and Information. CSLI Publications, Stanford. To appear.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computerlinguistik, Universität des Saarlandes, Postfach 1150, D-66041, Saarbrücken, Germany

    PATRICK BLACKBURN

  2. Department of Computer Science, University of Warwick, Coventry, CV4 7AL, U.K.

    Maarten De Rijke

Authors
  1. PATRICK BLACKBURN
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maarten De Rijke
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

BLACKBURN, P., De Rijke, M. Zooming In, Zooming Out. Journal of Logic, Language and Information 6, 5–31 (1997). https://doi.org/10.1023/A:1008204403391

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008204403391

Search

Navigation