13629 results in The Journal of Symbolic Logic
Raymond M. Smullyan. Logicians who reason about themselves. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 341–352.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-669
- Print publication:
- June 1988
-
- Article
- Export citation
Joseph Y. Halpern. Reasoning about knowledge: an overview. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 1–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
- Print publication:
- June 1988
-
- Article
- Export citation
Where MA first fails
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 429-433
- Print publication:
- June 1988
-
- Article
- Export citation
Addendum to “The truth is never simple”
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 390-392
- Print publication:
- June 1988
-
- Article
- Export citation
John Haugeland. Artificial intelligence: the very idea. Bradford books. The MIT Press, Cambridge, Mass., and London, 1985, ix + 289 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-660
- Print publication:
- June 1988
-
- Article
- Export citation
Towards a theory of information, The status of partial objects in semantics, by Fred Landman, Groningen-Amsterdam studies in semantics, no. 6, Foris Publications, Dordrecht and Riverton, N.J., 1986, xiv + 228 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-657
- Print publication:
- June 1988
-
- Article
- Export citation
Richard E. Ladner and John H. Reif. The logic of distributed protocols (preliminary report). Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 207–222.
-
- 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
João P. Martins and Stuart C. Shapiro. Theoretical foundations for belief revision. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 383–398.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 669
- Print publication:
- June 1988
-
- Article
- Export citation
A proofless proof of the Barwise compactness theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-602
- Print publication:
- June 1988
-
- Article
- Export citation
Partial realizations of Hilbert's program
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-363
- Print publication:
- June 1988
-
- Article
- Export citation
Finite and finitely separable intermediate propositional logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 403-420
- Print publication:
- June 1988
-
- Article
- Export citation
Decidable discrete linear orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-539
- Print publication:
- June 1988
-
- Article
- Export citation
The classification of small weakly minimal sets. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-635
- Print publication:
- June 1988
-
- Article
- Export citation
Rachel Wallace Garden. Modern logic and quantum mechanics. Adam Hilger, Bristol 1984, also distributed by Heyden & Son, Philadelphia, xi + 177 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 648-649
- Print publication:
- June 1988
-
- Article
- Export citation
Cynthia Dwork and Yoram Moses. Knowledge and common knowledge in a Byzantine environment I: crash failures. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 149–169.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 666
- Print publication:
- June 1988
-
- Article
- Export citation
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-653
- Print publication:
- June 1988
-
- Article
- Export citation
Believing the axioms. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-511
- Print publication:
- June 1988
-
- Article
- Export citation
Algebraic extensions in nonstandard models and Hilbert's irreducibility theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-480
- Print publication:
- June 1988
-
- Article
- Export citation
Christophe Geissler and Kurt Konolige. A resolution method for quantified modal logics of knowledge and belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 309–324.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 668
- Print publication:
- June 1988
-
- Article
- Export citation
Ronald Fagin and Moshe Y. Vardi. Knowledge and implicit knowledge in a distributed environment: preliminary report. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 187–206.
-
- 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