Journal of Symbolic Logic 61 (3):1057-1120 (1996)

Authors
Dov Gabbay
Hebrew University of Jerusalem
Abstract
This is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems $\mathbf{L}_i, i \in I$, to form a new system $\mathbf{L}_I$. The methodology `fibres' the semantics $\mathscr{K}_i$ of $\mathbf{L}_i$ into a semantics for $\mathbf{L}_I$, and `weaves' the proof theory of $\mathbf{L}_i$ into a proof system of $\mathbf{L}_I$. There are various ways of doing this, we distinguish by different names such as `fibring', `dovetailing' etc, yielding different systems, denoted by $\mathbf{L}^F_I, \mathbf{L}^D_I$ etc. Once the logics are `weaved', further `interaction' axioms can be geometrically motivated and added, and then systematically studied. The methodology is general and is applied to modal and intuitionistic logics as well as to general algebraic logics. We obtain general results on bulk, in the sense that we develop standard combining techniques and refinements which can be applied to any family of initial logics to obtain further combined logics. The main results of this paper is a construction for combining arbitrary, modal or intermediate logics, each complete for a class of Kripke models. We show transfer of recursive axiomatisability, decidability and finite model property. Some results on combining logics have recently been introduced by Kracht and Wolter, Goranko and Passy and by Fine and Schurz as well as a multitude of special combined systems existing in the literature of the past 20-30 years. We hope our methodology will help organise the field systematically.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI http://projecteuclid.org/euclid.jsl/1183745126
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,508
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
Some Multi-Conclusion Modal Paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.

Analytics

Added to PP index
2017-02-21

Total views
8 ( #906,732 of 2,330,947 )

Recent downloads (6 months)
6 ( #121,798 of 2,330,947 )

How can I increase my downloads?

Downloads

My notes