Studia Logica

, Volume 59, Issue 1, pp 5–27

Why Combine Logics?

  • Patrick Blackburn
  • Maarten de Rijke

DOI: 10.1023/A:1004991115882

Cite this article as:
Blackburn, P. & de Rijke, M. Studia Logica (1997) 59: 5. doi:10.1023/A:1004991115882


Combining logics has become a rapidly expanding entreprise that is inspired mainly by concerns about modularity and the wish to join together tailor made logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages.

By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. Using the history of quantified modal logic as our main example, we also show that the use of combined structures and logics is a recurring theme in the analysis of existing logical systems.

combination of logicscomplex structuresmathematics of modelingmodularityrepresentation languages.

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.Dept. of Computer ScienceUniversity of WarwickCoventryEngland