Should knowledge entail belief?

Journal of Philosophical Logic

Volumn 25, Issue 5, 1996, Pages 483-494

  Halpern, Joseph Y ^a  

^a IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

Belief; Entailment property; Knowledge; Logic of knowledge and belief

Indexed keywords

EID: 35348893781     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1007/BF00257382     Document Type: Article

References (14)

1. Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M.Y (1995). Reasoning about Knowledge. Cambridge, Mass., MIT Press.
2. Friedman, N. and Halpern, J.Y. (1994). A knowledge-based framework for belief change. Part I: Foundations, in R. Fagin (ed.), Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conference, pp. 44-64. San Francisco, Calif., Morgan Kaufmann.
3. Halpern, J.Y. (1987). Using reasoning about knowledge to analyze distributed systems, in J. F. Traub, B. J. Grosz, B. W. Lampson, and N. J. Nilsson (eds), Annual Review of Computer Science, Vol. 2, pp. 37-68. Palo Alto, Calif., Annual Reviews Inc.
4. Halpern, J.Y. (1991). The relationship between knowledge, belief, and certainty, Annals of Mathematics and Artificial Intelligence 4, 301-322.
5. Halpern, J.Y. (1993). Reasoning about knowledge: a survey circa 1991, in A. Kent and J. G. Williams (eds), Encyclopedia of Computer Science and Technology, Vol. 27 (Supp. 12), pp. 275-296. New York, Marcel Dekker.
6. Hoek, W. van der (1993). Systems for knowledge and belief, Journal of Logic and Computation 3(2), 173-195.
7. Kraus, S. and Lehmann, D.J. (1988). Knowledge, belief, and time, Theoretical Computer Science 58, 155-174.
8. Ladner, R.E. (1977). The computational complexity of provability in systems of modal prepositional logic, SIAM Journal on Computing 6(3), 467-480.
9. Lamarre, P. and Shoham, Y. (1994). Knowledge, certainty, belief, and conditionalisation, in J. Doyle, E. Sandcwall, and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR '94), pp. 415-424. San Francisco, Calif., Morgan Kaufmann.
10. Lenzen, W. (1978). Recent work in epistemic logic, Acta Philosophica Fennica 30, 1-219.
11. Lenzen, W. (1979). Epislemische betrachtungen zu [S4, S5|. Erkenntnis 14, 33-56.
12. Moses, Y. and Shoham, Y. (1993). Belief as defeasible knowledge, Artificial Intelligence 64(2), 299-322.
13. Voorbraak, F. (1991). The theory of objective knowledge and rational belief, in Logics in AI, European Workshop JELIA '90, Berlin-New York, pp. 499-515. Springer-Verlag.
14. Voorbraak, F. (1992). Generalized Kripke models for epistemic logic, in Y. O. Moses (ed.), Theoretical Aspects of Reasoning about Knowledge: Proc. Fourth Conference, pp. 214-228. San Francisco, Calif., Morgan Kaufmann.