13629 results in The Journal of Symbolic Logic
Forcing constructions for uncountably chromatic graphs
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-707
- Print publication:
- September 1988
-
- Article
- Export citation
1-genericity in the enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 878-887
- Print publication:
- September 1988
-
- Article
- Export citation
Cardinality logics. Part II: Definability in languages based on ‘exactly’
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 765-784
- Print publication:
- September 1988
-
- Article
- Export citation
Johan van Benthem. Essays in logical semantics. Studies in linguistics and philosophy, vol. 29. D. Reidel Publishing Company, Dordrecht etc. 1986, xi + 225 pp. - Johan van Benthem. Determiners and logic. Linguistics and philosophy, vol. 6 (1983), pp. 447–478. - Johan van Benthem. Questions about quantifiers. The journal of symbolic logic, vol. 49 (1984), pp. 443–466. - Johan van Benthem. Foundations of conditional logic. Journal of philosophical logic, vol. 13 (1984), pp. 303–349.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 990-991
- Print publication:
- September 1988
-
- Article
- Export citation
JSL volume 53 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1988
-
- Article
-
- You have access
- Export citation
Large discrete parts of the E-tree
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 980-984
- Print publication:
- September 1988
-
- Article
- Export citation
A system of logic for partial functions under existence-dependent kleene equality
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 834-839
- Print publication:
- September 1988
-
- Article
- Export citation
Strong measure zero sets and rapid filters
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-402
- Print publication:
- June 1988
-
- Article
- Export citation
Brian Cantwell Smith. Varieties of self-reference. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 19–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-662
- Print publication:
- June 1988
-
- Article
- Export citation
Rosemarie Rheinwald. Der Formalismus und seine Grenzen. Untersuchungen zur neueren Philosophic der Mathematik. Philosophic—Analyse und Grundlegung, vol. 11. Hain, Königstein 1984, 204 pp. - Hartry Field. IS mathematical knowledge just logical knowledge? The philosophical review, vol. 93 (1984), pp. 509–552.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 645-646
- Print publication:
- June 1988
-
- Article
- Export citation
Detlef Laugwitz. Zahlen und Kontinuum. Eine Einführung in die Infinitesimalmathematik. Lehrbücher und Monographien zur Didaktik der Mathematik, Bd. 5. Bibliographisches Institut, Mannheim, Wien, und Zürich, 1986, 269 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-650
- Print publication:
- June 1988
-
- Article
- Export citation
Fred Landman. Pegs and alecs. An abridged version of LIII 656. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 45–61.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-663
- Print publication:
- June 1988
-
- Article
- Export citation
Stanley J. Rosenschein and Leslie Pack Kaelbling. The synthesis of digital machines with provable epistemic properties. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 83–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 664
- Print publication:
- June 1988
-
- Article
- Export citation
Harry C. Bunt. Mass terms and model-theoretic semantics. Cambridge studies in linguistics, no. 42. Cambridge University Press, Cambridge etc. 1985, xiii + 325 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-656
- Print publication:
- June 1988
-
- Article
- Export citation
Des belles paires aux beaux uples
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 434-442
- Print publication:
- June 1988
-
- Article
- Export citation
Hilbert's program sixty years later
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-348
- Print publication:
- June 1988
-
- Article
- Export citation
A Symposium on Hilbert's Program
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1988
-
- Article
- Export citation
J. Philip Miller. Numbers in presence and absence: a study of Husserl's philosophy of mathematics. Phaenomenologica, no. 90. Martinus Nijhoff Publishers, The Hague, Boston, and London, 1982, x + 147 pp. - Roger Schmit. Husserls Philosophie der Mathematik. Platonistische und konstruktimstische Momente in Husserls Mathematikbegriff. Conscientia, vol. 10. Bouvier Verlag Herbert Grundmann, Bonn 1981, 159 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 646-648
- Print publication:
- June 1988
-
- Article
- Export citation
Richmond H. Thomason. Paradoxes and semantic representation. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 225–239.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 667
- Print publication:
- June 1988
-
- Article
- Export citation
Uniqueness, definability and interpolation
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 554-570
- Print publication:
- June 1988
-
- Article
- Export citation