Logics for belief dependence

被引：0
|
作者：
Huang, Zhisheng
机构：
来源：
Workshop on Computer Science Logic | 1990年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics
    Pardo, Pere
    SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 165 - 179
  • [32] Decision procedures for the analysis of cryptographic protocols by logics of belief
    Monniaux, David
    Proceedings of the Computer Security Foundations Workshop, 1999, : 44 - 54
  • [33] Logics for Moderate Belief-Disagreement Between Agents
    Chen, Jia
    Pan, Tianqun
    STUDIA LOGICA, 2019, 107 (03) : 559 - 574
  • [34] Decision procedures for the analysis of cryptographic protocols by logics of belief
    Monniaux, D
    PROCEEDINGS OF THE 12TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, 1999, : 44 - 54
  • [35] Strong completeness theorems for weak logics of common belief
    Lismont, L
    Mongin, P
    JOURNAL OF PHILOSOPHICAL LOGIC, 2003, 32 (02) : 115 - 137
  • [36] Sequent calculi for temporal logics of common knowledge and belief
    Sakalauskaite, R
    INFORMATICA, 2006, 17 (01) : 85 - 94
  • [37] Logics for Moderate Belief-Disagreement Between Agents
    Jia Chen
    Tianqun Pan
    Studia Logica, 2019, 107 : 559 - 574
  • [38] Strong Completeness Theorems for Weak Logics of Common Belief
    Luc Lismont
    Philippe Mongin
    Journal of Philosophical Logic, 2003, 32 : 115 - 137
  • [39] Multi-agent logics of dynamic belief and knowledge
    Schmidt, RA
    Tishkovsky, D
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 38 - 49
  • [40] Structural completeness in propositional logics of dependence
    Iemhoff, Rosalie
    Yang, Fan
    ARCHIVE FOR MATHEMATICAL LOGIC, 2016, 55 (7-8) : 955 - 975
12345