Editors' Introduction

Notre Dame Journal of Formal Logic

Volumn 37, Issue 2, 1996, Pages 161-166

  Blackburn, Patrick ^a   DeRijke, Maarten ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 3543143334     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1040046084     Document Type: Article

References (12)

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, Son-derforschungsbereich 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.