Conclusion
Gabbay has gathered an enormous amount of results; some of them important and novel, others important but already known, many rather routine, however. The organization of this material shows grave defects, both in the exposition and in its logical structure. Intensional logic appears as a vast collection of (often duplicated) loosely connected results. This may be a true reflection of the present state of the subject, but it does not contribute to a better understanding of it, let alone advance it.
References
J. F. A. K. van Benthem: Modal Correspondence Theory, dissertation, University of Amsterdam, 1976.
J. F. A. K. van Benthem: ‘Tense Logic and Standard Logic’, Logique et Analyse, 80 (1977), pp. 395–437.
K. Fine: ‘Logics containing S4 without the Finite Model Property’, in W. Hodges (ed.), Conference in Mathematical Logic, London 1970, Springer, Berlin, 1970, pp. 98–103.
K. Fine: ‘The Logics containing S4.3’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 17 (1971), pp. 371–376.
M. S. Gerson: A Comparative Study of Modal Propositional Semantics, dissertation, Simon Fraser University, Burnaby, B. C., 1974.
M. S. Gerson: ‘An Extension of S4 Complete for the Neighbourhood Semantics but Incomplete for the Relational Semantics’, Studia Logica 34 (1975), pp. 333–342.
R. I. Goldblatt: ‘Metamathematics of Modal Logic’, Reports on Mathematical Logic 6 (1976), pp. 41–77, and 7 (1976), pp. 21–52.
L. Henkin: ‘Completeness in the Theory of Types’, The Journal of Symbolic Logic 15 (1950), pp. 81–91.
G. E. Hughes and M. J. Creswell: An Introduction to Modal Logic, Methuen, London, 1968.
H. Kamp: ‘Formal Properties of “Now”’, Theoria 37 (1971), pp. 227–273.
H. Kamp: Tense Logic and the Theory of Linear Order, dissertation, University of California at Los Angeles, 1968.
S. A. Kripke: ‘Naming and Necessity’, in D. Davidson and G. Harman (eds), Semantics of Natural Language, Reidel, Dordrecht, 1972, pp. 253–355.
S. A. Kripke: ‘The Undecidability of Monadic Modal Quantification Theory’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 8 (1962), pp. 113–116.
A. V. Kuznecov and V. Ja. Gerčiu: ‘Superintuitionistic Logics and Finite Approximability’, Soviet Math. Doklady 11 (1970), no. 6.
I. Lakatos: Proofs and Refutations, Cambridge University Press, 1976.
D. Lewis: Counterfactuals, Blackwell, London, 1973.
D. C. Makinson: ‘A Generalization of the Concept of a Relational Model for Modal Logic’, Theoria 36 (1970), pp. 331–336.
D. C. Makinson: ‘A Normal Modal Calculus between T and S4 without the Finite Model Property’, The Journal of Symbolic Logic 34 (1969), pp. 35–39.
P. Needham: Temporal Perspective, Philosophical Studies published by the Department of Philosophy, University of Uppsala, vol. 25, Uppsala, 1975.
A. N. Prior: Past, Present and Future, Oxford University Press, 1967.
M. O. Rabin: ‘Decidability of Second Order Theories and Automata on Infinite Trees’, Transactions of the American Mathematical Society 141 (1969), p. 1035.
R. Routley and R. K. Meyer: ‘Classical Logic, Dialectical Logic and the Consistency of the World’, Studies in Soviet Thought 16 (1976), pp. 1–25.
H. Sahlqvist: ‘Completeness and Correspondence in the First and Second Order Semantics for Modal Logic’, in S. Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium, North-Holland, Amsterdam, 1975, pp. 110–143.
D. S. Scott: ‘Background to Formalization’, in H. Leblanc (ed.), Truth, Syntax and Modality, North-Holland, Amsterdam, 1973, pp. 244–273.
D. S. Scott: ‘On Engendering an Illusion of Understanding’, Journal of Philosophy 68 (1971), pp. 787–808.
K. Segerberg: An Essay in Classical Modal Logic, Philosophical Studies published by the Department of Philosophy, University of Uppsala, vol. 13, Uppsala, 1971.
K. Segerberg: ‘Modal Logics with Linear Alternative Relations’, Theoria 36 (1970), pp. 301–322.
S. K. Thomason: ‘An Incompleteness Theorem in Modal Logic’, Theoria 40 (1974), pp. 30–34.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
van Benthem, J.F.A.K. Critical notice. Synthese 40, 353–373 (1979). https://doi.org/10.1007/BF00485684
Issue Date:
DOI: https://doi.org/10.1007/BF00485684