Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more: https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 53 Issue 2

The Journal of Symbolic Logic

Other actions
- Information
- - Add bookmark
  - Add alert
  - RSS Feed
  - Share

Published on behalf of Association of Symbolic Logic

Journal Home

Journal home
Journal information
Accepted manuscripts
FirstView articles
Latest issue
All issues
Most cited
Most read
Open access

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 53 - Issue 2 - June 1988

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Other

Notices

Front matter

JSL volume 53 issue 2 Cover and Front matter

Back matter

JSL volume 53 issue 2 Cover and Back matter

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 53 - Issue 2 - June 1988

Reviews

Other

Front matter

Back matter