A Topography of Labelled Modal Logics

Part of the Applied Logic Series book series (APLS, volume 3)


Labelled Deductive Systems provide a general method for representing logics in a modular and transparent way. A Labelled Deductive System consists of two parts, a base logic and a labelling algebra, which interact through a fixed interface. The labelling algebra can be viewed as an independent parameter: the base logic stays fixed for a given class of related logics from which we can generate the one we want by plugging in the appropriate algebra. Our work identifies an important property of the structured presentation of logics, their combination, and extension. Namely, there is tension between modularity and extensibility: a narrow interface between the base logic and labelling algebra can limit the degree to which we can make use of extensions to the labelling algebra. We illustrate this in the case of modal logics and apply simple results from proof theory to give examples.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Anderson and N. Belnap Jr. Entailment, The Logic of Relevance and Necessity, volume 1. Princeton University Press, 1975.Google Scholar
  2. D. Basin, S. Matthews, and L. Viganö. A Modular Presentation of Modal Logics in a Logical Framework. In Proc. of the Tbilisi Symposium on Language, Logic and Computation, CSLI. To appear. Available at
  3. B. Chellas. Modal Logic. Cambridge University Press, New York, 1980.CrossRefzbMATHGoogle Scholar
  4. M. D’Agostino and D. Gabbay. A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. JAR 13, 1994.Google Scholar
  5. M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Kluwer, Dordrecht, 1983.CrossRefzbMATHGoogle Scholar
  6. D. Gabbay. LDS - Labelled Deductive Systems, Volume 1 - Foundations. Technical report, MPI für Informatik, Saarbrücken, 1994.Google Scholar
  7. D. Gabbay.What is a Logical System? In D. Gabbay, editor, What is a Logical System?Clarendon Press, Oxford, 1994Google Scholar
  8. F. Giunchiglia and L. Serafini. Multilanguage Hierarchical Logics (or: how we can do without modal logics). Artificial Intelligence 65, 1994Google Scholar
  9. R. Harper, F. Honsell, and G. Plotkin. A Framework for Defining Logics. JACM, 40, 1993.Google Scholar
  10. H.-J. Ohlbach. Translation methods for non-classical logics: an overview. In Bulletin of the IGPL, volume 1, Saarbrücken, 1993.Google Scholar
  11. L. Paulson Isabelle: a generic theorem prover. LNCS-828. Springer, Berlin, 1994CrossRefzbMATHGoogle Scholar
  12. D. Prawitz. Natural Deduction, a Proof-Theoretical Study. Almqvist and Wiksell, Stockholm, 1965.zbMATHGoogle Scholar
  13. D. Prawitz. Ideas and Results in Proof Theory. In J. E. Fensted, editor, Proc. of 2nd Scandinavian Logic Symposium, Amsterdam, 1971. North-Holland.Google Scholar
  14. A. Russo. Modal Labelled Deductive Systems. Technical Report 95/7, Department of Computing, Imperial College, London, UK, 1995Google Scholar
  15. A. Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, Edinburgh, 1993.Google Scholar
  16. J. van Benthem. Correspondence Theory. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II. Reidel Publishing Company, 1984.Google Scholar
  17. J. van Benthem. Modal Logic and Classical Logic. Bibliopolis, Napoli, 1985.zbMATHGoogle Scholar
  18. D. van Dalen. Logic and Structure. Springer, Berlin, 1994.CrossRefzbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1996

Authors and Affiliations

  1. 1.Max-Planck-Institut für InformatikSaarbrückenGermany

Personalised recommendations