23 results
Characterisation of age and polarity at onset in bipolar disorder
-
- Journal:
- The British Journal of Psychiatry / Volume 219 / Issue 6 / December 2021
- Published online by Cambridge University Press:
- 25 August 2021, pp. 659-669
- Print publication:
- December 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-662
- Print publication:
- June 1988
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-663
- Print publication:
- June 1988
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 664
- Print publication:
- June 1988
-
- 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.
-
- 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
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-664
- Print publication:
- June 1988
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-666
- Print publication:
- June 1988
-
- 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.
-
- 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
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.
-
- 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
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.
-
- 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
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.
-
- 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
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-670
- Print publication:
- June 1988
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 667-668
- Print publication:
- June 1988
-
- 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.
-
- 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
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
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
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