Notre Dame Journal of Formal Logic

Editors' Introduction

Patrick Blackburn and Maarten de Rijke

Abstract

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.

Article information

Source
Notre Dame J. Formal Logic, Volume 37, Number 2 (1996), 161-166.

Dates
First available in Project Euclid: 16 December 2002

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1040046084

Digital Object Identifier
doi:10.1305/ndjfl/1040046084

Mathematical Reviews number (MathSciNet)
MR1403816

Zentralblatt MATH identifier
0856.03001

Subjects
Primary: 03B45: Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45}

Citation

Blackburn, Patrick; de Rijke, Maarten. Editors' Introduction. Notre Dame J. Formal Logic 37 (1996), no. 2, 161--166. doi:10.1305/ndjfl/1040046084. https://projecteuclid.org/euclid.ndjfl/1040046084


Export citation

References

  • Baader, F., and K. Schulz. “Combination of constraint solvers for free and quasi-free structures,” submitted for publication (1995). Zbl 0895.68019 MR 99j:68127
  • Baader, F., and K. Schulz, editors, Proceedings of FroCoS'96, Applied Logic Series, Kluwer Academic Publishers, forthcoming. Zbl 0885.00046 MR 98a:03004
  • Blackburn, P., and M. de Rijke, “Zooming in, zooming out,” forthcoming in Journal of Logic, Language and Information. Zbl 0872.03008 MR 97k:03041
  • Fine, K., and G. Schurz, “Transfer theorems for stratified multi-modal logics,” forthcoming in Proceedings of the Arthur Prior Memorial Conference. Zbl 0919.03015 MR 98f:03016
  • 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. Zbl 0798.03031 MR 95h:03037
  • Gabbay, D., “An irreflexivity lemma,” pp. 67–89 in Aspects of Philosophical Logic, edited by U. Monnich, Reidel, Dordrecht, 1981. Zbl 0519.03008 MR 83f:03015
  • 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. Zbl 0872.03007 Zbl 0856.03021 Zbl 0947.03034 MR 99j:03009 MR 99j:03010 MR 2002b:03053
  • Kracht M., and F. Wolter, “Properties of independently axiomatisable bimodal logics,” The Journal of Symbolic Logic, vol. 56 (1991), pp. 1469–1485. Zbl 0743.03013 MR 93c:03021
  • 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. Zbl 0941.03523 MR 95h:03051
  • Nelson G., and D. C. Oppen, “Simplification by cooperating decision procedures,” ACM TOPLAS, vol. 1 (1979), pp. 245–257. Zbl 0452.68013
  • 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. Zbl 0875.03047 MR 844598
  • Wolter F., “The finite model property in tense logic,” The Journal of Symbolic Logic, vol. 60 (1995), pp. 757–774. Zbl 0836.03015 MR 96j:03037