Contents
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
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
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 667
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 667
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 667
-
- Article
- Export citation
Kurt Konolige. What awareness isn't: a sentential view of implicit and explicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 241–250.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 667-668
-
- Article
- Export citation
Moshe Y. Vardi. On epistemic logic and logical omniscience. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 293–305.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 668
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 668
-
- Article
- Export citation
Gerhard Lakemeyer. Steps towards a first-order logic of explicit and implicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 325–340.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 668
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-669
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 669
-
- Article
- Export citation
Gordon Plotkin and Colin Stirling. A framework for intuitionistic modal logics. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 399–406.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 669
-
- Article
- Export citation
Nimrod Megiddo and Avi Wigderson. On play by means of computing machines (preliminary version). Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 259–274. - Haim Gaifman. A theory of higher order probabilities. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 275–292. - Silvio Micali. Knowledge and efficient computation. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 353–362.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-670
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 671-672
-
- Article
- Export citation
Front matter
JSL volume 53 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 53 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation