Contents
List of officers and members of the Association for Symbolic Logic
Individual Members 1988
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1304-1342
-
- Article
- Export citation
Reviews
John Haugeland. Artificial intelligence: the very idea. Bradford books. The MIT Press, Cambridge, Mass., and London, 1985, ix + 289 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-660
-
- Article
- Export citation
Leila Haaparanta and Jaakko Hintikka. General introduction. Frege synthesized, Essays on the philosophical and foundational work of Gottlob Frege, edited by Leila Haaparanta and Jaakko Hintikka, Synthese library, vol. 181, D. Reidel Publishing Company, Dordrecht, Boston, Lancaster, and Tokyo, 1986, pp. 3–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-320
-
- Article
- Export citation
Mathematics in philosophy, Selected essays, by Charles Parsons, Cornell University Press, Ithaca, N.Y., 1983, 365 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-329
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1343-1344
-
- Article
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
-
- Article
- Export citation
Front matter
JSL volume 53 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-662
-
- Article
- Export citation
Meeting Report
Meeting of the association for symbolic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-334
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
-
- Article
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-663
-
- Article
- Export citation
Back matter
JSL volume 53 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b8
-
- Article
-
- You have access
- Export citation
Reviews
Jaakko Hintikka. Reasoning about knowledge in philosophy: the paradigm of epistemic logic. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 63–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-664
-
- Article
- Export citation
Front matter
JSL volume 53 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 664
-
- Article
- Export citation
Back matter
JSL volume 53 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Reviews
Leora Morgenstern. A first order theory of planning, knowledge, and action. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 99–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-665
-
- Article
- Export citation
Jim Des Rivières and Hector J. Levesque. The consistency of syntactical treatments of knowledge. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 115–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-666
-
- Article
- Export citation
Nicholas M. Asher and Johan A. W. Kamp. The knower's paradox and representational theories of attitudes. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 131–147.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 666
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 666
-
- Article
- Export citation