Journal of Logic, Language and Information

, Volume 6, Issue 1, pp 5–31

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.

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