Journal of Logic, Language and Information

, Volume 6, Issue 1, pp 5–31 | Cite as

Zooming In, Zooming Out

  • PATRICK BLACKBURN
  • Maarten De Rijke
Article

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.

Combinations of logics  complex structures  mathematics of modeling  modularity  modal logic  representation languages  transfer results 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beaver, D., 1994, "What comes first in dynamic semantics?," PhD Thesis, University of Edinburgh.Google Scholar
  2. van Benthem, J., 1991, Language in Action, Amsterdam: North-Holland.Google Scholar
  3. 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.Google Scholar
  4. 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
  5. 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
  6. 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
  7. Blackburn, P. and de Rijke, M., 1996, Logics of communicating structures. In preparation.Google Scholar
  8. 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
  9. Brink, C., Britz, K., and Schmidt, R., 1994, "Peirce algebras," Formal Aspects of Computing 6, 339–358.Google Scholar
  10. Fine, K. and Schurz, G., 1991, "Transfer theorems for stratified multi-modal logics," in Proceedings of the Arthur Prior Memorial Conference. To appear.Google Scholar
  11. 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
  12. Finger, M. and Gabbay, D.M., 1996, "Combining temporal logic systems," Notre Dame Journal of Formal Logic. To appear.Google Scholar
  13. Gabbay, D.M., 1994, "Fibered semantics," manuscript, London: Imperial College.Google Scholar
  14. Gärdenfors, P., 1988, Knowledge in Flux, Cambridge, MA: MIT Press.Google Scholar
  15. Gazdar, G., Klein, E., Pullum, G., and Sag, I., 1985, Generalised Phrase Structure Grammar, Oxford: Basil Blackwell.Google Scholar
  16. Girard, J.-Y., 1987, "Linear logic," Theoretical Computer Science 50, 1–102.Google Scholar
  17. van Glabbeek, R., 1990, "Comparative concurrency semantics and refinement of actions," PhD Thesis, Vrije Universiteit Amsterdam.Google Scholar
  18. 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
  19. Groenendijk, J. and Stokhof, M., 1991, "Dynamic predicate logic," Linguistics and Philosophy 14, 39–100.Google Scholar
  20. Gurevich, Y., 1991, "Evolving algebras; a tutorial introduction," Bulletin EATCS 43, 264–284.Google Scholar
  21. Harel, D., 1984, "Dynamic logic," pp. 497–604 in Handbook of Philosophical Logic 2, D. Gabbay and F. Guenthner, eds., Dordrecht: Reidel.Google Scholar
  22. Hemaspaandra, E., 1994, "Complexity transfer for modal logic," pp. 164–173 in Proceedings 9th LICS, Paris.Google Scholar
  23. Hemaspaandra, E., 1996, "The price of universality," Notre Dame Journal of Formal Logic. To appear.Google Scholar
  24. Johnson, D., and Moss, L., 1994, "Grammar formalisms viewed as evolving algebras," Linguistics and Philosophy 17, 537–560.Google Scholar
  25. Joshi, A., Levy, L., and Takahashi, M., 1975, "Tree adjunct grammars," Journal of Computer and Systems Sciences 10, 136–163.Google Scholar
  26. 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
  27. Kasper, R. and Rounds, W., 1990, "The logic of unification in grammar," Linguistics and Philosophy 13, 33–58.Google Scholar
  28. Kracht, M. and Wolter, F., 1991, "Properties of independently axiomatisable bimodal logics," Journal of Symbolic Logic 56, 1469–1485.Google Scholar
  29. Kurucz, A., Jánossy, A., and Eiben, G., 1996, "Combining algebraizable logics," Notre Dame Journal of Formal Logic. To appear.Google Scholar
  30. 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
  31. Moens, M., and Steedman, M., 1988, "Temporal ontology and temporal reference," Computational Linguistics 14, 15–28.Google Scholar
  32. 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.Google Scholar
  33. Pratt, V., 1976, "Semantical considerations on Floyd–Hoare logic," pp. 109–121 in Proceedings 17th IEEE Symposium on the Foundations of Computer Science.Google Scholar
  34. 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
  35. de Rijke, M., 1992, A system of dynamic modal logic, Report #CSLI-92-170, Stanford University. To appear in Journal of Philosophical Logic.Google Scholar
  36. 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
  37. de Rijke, M., 1995, "The logic of Peirce algebras," Journal of Logic, Language and Information 4, 227–250.Google Scholar
  38. Seligman, J., 1990, "Perspectives: A relativistic approach to the theory of information," PhD Thesis, University of Edinburgh.Google Scholar
  39. Seligman, J., 1996, Combining logics with ease. In preparation.Google Scholar
  40. Spaan, E., 1993, "Complexity of modal logics," PhD Thesis, ILLC, University of Amsterdam.Google Scholar
  41. Vakarelov, D., 1996, "Modal arrow logic," in Advances in Intensional Logic, M. de Rijke, ed., Dordrecht: Kluwer. To appear.Google Scholar
  42. 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

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • PATRICK BLACKBURN
    • 1
  • Maarten De Rijke
    • 2
  1. 1.ComputerlinguistikUniversität des SaarlandesSaarbrückenGermany
  2. 2.Department of Computer ScienceUniversity of WarwickCoventryU.K.

Personalised recommendations