Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Compa [Book Review]

Journal of Symbolic Logic 43 (2):373-376 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272835

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,484

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Lachlan A. H.. A note on Thomason's refined structures for tense logics. Theoria, vol. 40, pp. 117–120.Fine Kit. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Ranger Stig, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14.Goldblatt R. I. and Thomason S. K.. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173.Goldblatt R. I.. First-order definability in modal logic. [REVIEW]Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
Gallin Daniel. Intensional and higher-order modal logic, with applications to Montague semantics. Mathematics studies, vol. 19. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, ix + 148 pp. [REVIEW]Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.
Martin-Löf Per. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by Rose H. E. and Shepherdson J. C., Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.
Rasiowa Helena. An algebraic approach to non-classical logics. Studies in logic and the foundations of mathematics, vol. 78. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xv + 403 pp. [REVIEW]Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
L. E. J. Brouwer. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 13–101, 565–569. - L. E. J. Brouwer. Die möglichen Mächtigkeiten. A reprint of 1554, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 102-104, 569. - L. E. J. Brouwer. On the foundations of mathematics. Partial English translation of 1553, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxfor. [REVIEW]Joan Rand Moschovakis - 1979 - Journal of Symbolic Logic 44 (2):271-275.
Jens Erik Fenstad. The axiom of determinateness. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 41–61. [REVIEW]A. S. Kechris - 1974 - Journal of Symbolic Logic 39 (2):331-332.

Analytics

Added to PP
2016-06-30

Downloads
33 (#563,778)

6 months
5 (#896,806)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references