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
http://projecteuclid.org/euclid.ndjfl/1040046084

Mathematical Reviews number (MathSciNet)
MR1403816

Digital Object Identifier
doi:10.1305/ndjfl/1040046084

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. http://projecteuclid.org/euclid.ndjfl/1040046084.


Export citation

References

  • [1] Baader, F., and K. Schulz. ``Combination of constraint solvers for free and quasi-free structures,'' submitted for publication (1995).
  • [2] Baader, F., and K. Schulz, editors, Proceedings of FroCoS'96, Applied Logic Series, Kluwer Academic Publishers, forthcoming.
  • [3] Blackburn, P., and M. de Rijke, ``Zooming in, zooming out,'' forthcoming in Journal of Logic, Language and Information.
  • [4] Fine, K., and G. Schurz, ``Transfer theorems for stratified multi-modal logics,'' forthcoming in Proceedings of the Arthur Prior Memorial Conference.
  • [5] 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.
  • [6] Gabbay, D., ``An irreflexivity lemma,'' pp. 67--89 in Aspects of Philosophical Logic, edited by U. Monnich, Reidel, Dordrecht, 1981.
  • [7] 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.
  • [8]Kracht M., and F. Wolter, ``Properties of independently axiomatisable bimodal logics,'' The Journal of Symbolic Logic, vol. 56 (1991), pp. 1469--1485.
  • [9]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.
  • [10] Nelson G., and D. C. Oppen, ``Simplification by cooperating decision procedures,'' ACM TOPLAS, vol. 1 (1979), pp. 245--257.
  • [11] 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.
  • [12] Wolter F., ``The finite model property in tense logic,'' The Journal of Symbolic Logic, vol. 60 (1995), pp. 757--774.