13629 results in The Journal of Symbolic Logic
The finite model property in tense logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 757-774
- Print publication:
- September 1995
-
- Article
- Export citation
Clark Glymour. Thinking things through. An introduction to philosophical issues and achievements. Bradford books. The MIT Press, Cambridge, Mass., and London, 1992, xi + 382 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1012-1013
- Print publication:
- September 1995
-
- Article
- Export citation
Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1978, ix + 288 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Revised English translation by Ann S. Ferebee of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1984, ix + 216 pp. - Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Second edition. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1986, ix + 308 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Second edition. Revised English translation by Ann S. Ferebee and Margit Meßmer of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, x + 289 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1013-1014
- Print publication:
- September 1995
-
- Article
- Export citation
Canonical forms for definable subsets of algebraically closed and real closed valued fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 843-860
- Print publication:
- September 1995
-
- Article
- Export citation
A solution to the completeness problem for weakly aggregative modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 832-842
- Print publication:
- September 1995
-
- Article
- Export citation
Anneaux de fonctions p-adiques
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-497
- Print publication:
- June 1995
-
- Article
- Export citation
Cylindric modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 591-623
- Print publication:
- June 1995
-
- Article
- Export citation
Martin's axiom and the continuum
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-391
- Print publication:
- June 1995
-
- Article
- Export citation
Wilfrid Hodges. Model theory. Encyclopedia of mathematics and its applications, vol. 42, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1993, xiii + 772 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-691
- Print publication:
- June 1995
-
- Article
- Export citation
Menachem Magidor. Representing sets of ordinals as countable unions of sets in the core model. Transactions of the American Mathematical Society, vol. 317 (1990), pp. 91–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 701-704
- Print publication:
- June 1995
-
- Article
- Export citation
The dimension of the negation of transitive closure
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 392-414
- Print publication:
- June 1995
-
- Article
- Export citation
Jonahan Chapman and Frederick Rowbottom. Relative category theory and geometric morphisms. A logical approach. Oxford logic guides, no. 16., Clarendon press, Oxford University Press, Oxford and New York1992, xi + 263 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-695
- Print publication:
- June 1995
-
- Article
- Export citation
On the equivalence of certain consequences of the proper forcing axiom
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 431-443
- Print publication:
- June 1995
-
- Article
- Export citation
René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p. - René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 691-692
- Print publication:
- June 1995
-
- Article
- Export citation
Complete problems for fixed-point logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-527
- Print publication:
- June 1995
-
- Article
- Export citation
The isomorphism property for nonstandard universes
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-516
- Print publication:
- June 1995
-
- Article
- Export citation
Élimination des quantificateurs dans des paires de corps
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 548-562
- Print publication:
- June 1995
-
- Article
- Export citation
JSL volume 60 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1995
-
- Article
-
- You have access
- Export citation
A star-free semantics for R
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-590
- Print publication:
- June 1995
-
- Article
- Export citation
The decidability of dependency in intuitionistic propositional logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 498-504
- Print publication:
- June 1995
-
- Article
- Export citation