Source: Notre Dame J. Formal Logic
Volume 37, Number 2
The idea of combining logics, structures, and theories has
recently been attracting interest in areas as diverse as constraint logic
programming, theorem proving, verification, computational linguistics,
artificial intelligence and indeed, various branches of logic
itself. It would be an exaggeration to claim that these (scattered, and by-and-large
independent) investigations have crystallized into an enterprise meriting
the title "combined methods"; nonetheless, a number of interesting themes
are emerging. This introduction notes some prominent ones and relates
them to the papers in this special issue.
 Baader, F., and K. Schulz. ``Combination of constraint solvers for free and quasi-free structures,'' submitted for publication (1995).
 Baader, F., and K. Schulz, editors, Proceedings of FroCoS'96, Applied Logic Series, Kluwer Academic Publishers, forthcoming.
 Blackburn, P., and M. de Rijke, ``Zooming in, zooming out,'' forthcoming in Journal of Logic, Language and Information.
 Fine, K., and G. Schurz, ``Transfer theorems for stratified multi-modal logics,'' forthcoming in Proceedings of the Arthur Prior Memorial Conference.
 Finger, M., and D. M. Gabbay, ``Adding a temporal dimension to a logic system,'' Journal of Logic, Language and Information, vol. 1 (1992), pp. 203--233.
 Gabbay, D., ``An irreflexivity lemma,'' pp. 67--89 in Aspects of Philosophical Logic, edited by U. Monnich, Reidel, Dordrecht, 1981.
 Gabbay D., Fibred semantics and the weaving of logics. Part 1: ``Modal and intuitionistic logics,'' Part 2: ``Fibering non-monotonic logics,'' Part 3: ``How to make your logic fuzzy.'' Lectures given at Logic Colloquium 1992, Veszprém, Hungary. A version of the notes is published as Technical Report No. 36, 1993, by the University of Stuttgart, Sonderforschungsbereich 340, Azenbergstr 12, 70174, Stuttgart, Germany. Part 1 is forthcoming in The Journal of Symbolic Logic. Part 2 has appeared in Logic Colloquium '92, edited by L. Csirmaz, D. M. Gabbay, and M. de Rijke, CSLI Publications, Stanford, 1995.
Kracht M., and F. Wolter, ``Properties of independently axiomatisable bimodal logics,'' The Journal of Symbolic Logic, vol. 56 (1991), pp. 1469--1485.
Meyer D., and E. D. Mares, ``The semantics of entailment 0,'' pp. 239--258 in Substructural Logic, edited by K. Došen and P. Schröder-Heister, Oxford University Press, Oxford, 1994.
 Nelson G., and D. C. Oppen, ``Simplification by cooperating decision procedures,'' ACM TOPLAS, vol. 1 (1979), pp. 245--257.
 Thomason R., ``Combinations of tense and modality,'' pp. 135--165 in Handbook of Philosophical Logic (II), edited by D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1984.
Mathematical Reviews (MathSciNet): MR844598
 Wolter F., ``The finite model property in tense logic,'' The Journal of Symbolic Logic, vol. 60 (1995), pp. 757--774.