13629 results in The Journal of Symbolic Logic
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1479-1480
- Print publication:
- December 1989
-
- Article
- Export citation
Authors of Reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. 1542
- Print publication:
- December 1989
-
- Article
- Export citation
Interpolation in fragments of intuitionistic propositional logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1419-1430
- Print publication:
- December 1989
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1490-1493
- Print publication:
- December 1989
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1483-1484
- Print publication:
- December 1989
-
- Article
- Export citation
JSL volume 54 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 1989
-
- Article
-
- You have access
- Export citation
Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1253-1287
- Print publication:
- December 1989
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. 1487
- Print publication:
- December 1989
-
- Article
- Export citation
The formal language of recursion
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1216-1252
- Print publication:
- December 1989
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1481-1483
- Print publication:
- December 1989
-
- Article
- Export citation
A general treatment of equivalent modalities
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1460-1471
- Print publication:
- December 1989
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1543-1544
- Print publication:
- December 1989
-
- Article
- Export citation
The consistency problem for positive comprehension principles
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1401-1418
- Print publication:
- December 1989
-
- Article
- Export citation
Association for symbolic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1499-1535
- Print publication:
- December 1989
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1493-1494
- Print publication:
- December 1989
-
- Article
- Export citation
On hyper-torre isols
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1160-1166
- Print publication:
- December 1989
-
- Article
- Export citation
Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1288-1323
- Print publication:
- December 1989
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1477-1479
- Print publication:
- December 1989
-
- Article
- Export citation
The equivalence of the disjunction and existence properties for modal arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1456-1459
- Print publication:
- December 1989
-
- Article
- Export citation
Coding over a measurable cardinal
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1145-1159
- Print publication:
- December 1989
-
- Article
- Export citation