A Topography of Labelled Modal Logics
- 140 Downloads
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.
- Anderson and N. Belnap Jr. Entailment, The Logic of Relevance and Necessity, volume 1. Princeton University Press, 1975.Google Scholar
- 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 http://www.mpi-sb.mpg.de/~luca
- 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
- D. Gabbay. LDS - Labelled Deductive Systems, Volume 1 - Foundations. Technical report, MPI für Informatik, Saarbrücken, 1994.Google Scholar
- D. Gabbay.What is a Logical System? In D. Gabbay, editor, What is a Logical System?Clarendon Press, Oxford, 1994Google Scholar
- F. Giunchiglia and L. Serafini. Multilanguage Hierarchical Logics (or: how we can do without modal logics). Artificial Intelligence 65, 1994Google Scholar
- R. Harper, F. Honsell, and G. Plotkin. A Framework for Defining Logics. JACM, 40, 1993.Google Scholar
- H.-J. Ohlbach. Translation methods for non-classical logics: an overview. In Bulletin of the IGPL, volume 1, Saarbrücken, 1993.Google Scholar
- 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
- A. Russo. Modal Labelled Deductive Systems. Technical Report 95/7, Department of Computing, Imperial College, London, UK, 1995Google Scholar
- A. Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, Edinburgh, 1993.Google Scholar
- J. van Benthem. Correspondence Theory. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II. Reidel Publishing Company, 1984.Google Scholar