Contents
Reviews
Donald Nute. Conditional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 387–439.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1477-1479
-
- Article
- Export citation
Craig Smoryński. Modal logic and self-reference. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 441–495.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1479-1480
-
- Article
- Export citation
David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1480-1481
-
- Article
- Export citation
Lennart Åqvist. Deontic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 605–714.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1481-1483
-
- Article
- Export citation
Hugues Leblanc. Alternatives to standard first-order semantics. Handbook of philosophical logic, Volume I, Elements of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 189–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1483-1484
-
- Article
- Export citation
Hao Wang. Beyond analytic philosophy. Doing justice to what we know. Bradford books. The MIT Press, Cambridge, Mass., and London, 1986, xii + 273 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1484-1485
-
- Article
- Export citation
Neil Tennant. Anti-realism and logic. Truth as eternal. Clarendon library of logic and philosophy. Clarendon Press, Oxford University Press, Oxford and New York 1987, xii + 325 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1485-1486
-
- Article
- Export citation
Uwe Meixner. Handlung, Zeit, Notwendigkeit. Erne ontologisch-semantische Untersuchung. Grundlagen der Kommunikation. Walter de Gruyter, Berlin et New York 1987, xviii + 234 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1487
-
- Article
- Export citation
Jan Woleński. Filozoficzna szkoia Iwowsko-warszawska (The Lwów-Warsaw school of philosophy). Państwowe Wydawnictwo Naukowe, Warsaw 1985, 348 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1487-1489
-
- Article
- Export citation
Johan van Benthem. A manual of intensional logic. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford 1985, also distributed by the University of Chicago Press, 74 pp. - Johan van Benthem. A manual of intensional logic. Revised and expanded second edition. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford 1988, also distributed by the University of Chicago Press, ix + 135 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1489
-
- Article
- Export citation
Egon Börger. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Edited by Dieter Rödding. Friedr. Vieweg & Sohn, Brunswick and Wiesbaden 1985, xvii + 469 pp. - Egon Börger. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Edited by Dieter Rodding. Second corrected edition of the preceding. Friedr. Vieweg & Sohn, Brunswick and Wiesbaden 1986, xvii + 469 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1490-1493
-
- Article
- Export citation
Jean-Yves Girard. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1493-1494
-
- Article
- Export citation
Bruno Poizat. Groupes stables. Une tentative de conciliation entre la géométric algébrique et la logique mathématique. Nur al-Mantiq wal-Ma'rifah, Villeurbanne 1987, vi + 215 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1494-1496
-
- Article
- Export citation
Hans-Dieter Donder and Peter Koepke. On the consistency strength of ‘accessible’ Jonsson cardinals and of the weak Chang conjecture. Annals of pure and applied logic, vol. 25 (1983), pp. 233–261. - Peter Koepke. Some applications of short core models. Annals of pure and applied logic, vol. 37 (1988), pp. 179–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1496-1497
-
- Article
- Export citation
Other
Fifth Southeastern Logic Symposium, Charlotte, North Carolina, 1989
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1498
-
- Article
- Export citation
Association for symbolic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1499-1535
-
- Article
- Export citation
Index of reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1536-1541
-
- Article
- Export citation
Authors of Reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1542
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1543-1544
-
- Article
- Export citation
Front matter
JSL volume 54 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation