SHOULD KNOWLEDGE ENTAIL BELIEF

被引：4
作者：
HALPERN, JY
机构：
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1996年 / 25卷 / 05期
关键词：
KNOWLEDGE; BELIEF; ENTAILMENT PROPERTY; LOGIC OF KNOWLEDGE AND BELIEF;
D O I：
暂无
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
引用
收藏
页码：483 / 494
页数：12
相关论文
共 14 条
  • [1] Fagin R., 1995, Reasoning About Knowledge, DOI DOI 10.7551/MITPRESS/5803.001.0001
  • [2] Friedman N., 1994, Theoretical Aspects of Reasoning About Knowledge. Proceedings of the Fifth Conference (TARK 1994), P44
  • [3] Halpern J. Y., 1991, Annals of Mathematics and Artificial Intelligence, V4, P301, DOI 10.1007/BF01531062
  • [4] USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS
    HALPERN, JY
    [J]. ANNUAL REVIEW OF COMPUTER SCIENCE, 1987, 2 : 37 - 68
  • [5] HALPERN JY, 1993, ENCY COMPUTER SCI TE, V27, P275
  • [6] HOEK W, 1993, J LOGIC COMPUT, V3, P173
  • [7] KNOWLEDGE, BELIEF AND TIME
    KRAUS, S
    LEHMANN, D
    [J]. THEORETICAL COMPUTER SCIENCE, 1988, 58 (1-3) : 155 - 174
  • [8] Ladner R. E., 1977, SIAM Journal on Computing, V6, P467, DOI 10.1137/0206033
  • [9] LAMARRE P, 1994, PRINCIPLES KNOWLEDGE, P415
  • [10] Lenzen W., 1978, ACTA PHILOS FENN, V30, P1
12