MODAL LOGIC BASED ON PROBABILITY THEORY

被引:0
|
作者
DANIELSSON, S
机构
来源
THEORIA | 1967年 / 33卷
关键词
D O I
暂无
中图分类号
C [社会科学总论];
学科分类号
03 ; 0303 ;
摘要
引用
收藏
页码:189 / 197
页数:9
相关论文
共 50 条
  • [1] Towards a probability theory based on Moisil logic
    G. Georgescu
    I. Leuştean
    Soft Computing, 2000, 4 (1) : 19 - 26
  • [2] MODAL LOGIC AND THE THEORY OF MODAL AGGREGATION
    SCHOTCH, PK
    JENNINGS, RE
    PHILOSOPHIA, 1980, 9 (02) : 265 - 278
  • [3] Modal Type Theory Based on the Intuitionistic Modal Logic IEL-
    Rogozin, Daniel
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 236 - 248
  • [4] A trust evaluation method based on logic and probability theory
    Institute of Computer Science and Applied Mathematics, University of Berne, Berne
    3012, Switzerland
    不详
    2501, Switzerland
    IFIP Advances in Information and Communication Technology, 2008, (17-32) : 17 - 32
  • [5] A trust evaluation method based on logic and probability theory
    Kohlas, Reto
    Jonczy, Jacek
    Haenni, Rolf
    TRUST MANAGEMENT II, 2008, 263 : 17 - +
  • [6] Lilac: A Modal Separation Logic for Conditional Probability
    Li, John M.
    Ahmed, Amal
    Holtzen, Steven
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI): : 148 - 171
  • [7] MODAL LOGIC AND GAME THEORY
    Tworak, Zbigniew
    FILOZOFIA NAUKI, 2017, 25 (02): : 5 - 28
  • [8] Proof Theory for Modal Logic
    Negri, Sara
    PHILOSOPHY COMPASS, 2011, 6 (08) : 523 - 538
  • [9] Modal logic for hypothesis theory
    Schwind, Camilla
    Stegel, Pierre
    Fundamenta Informaticae, 1994, 21 (1-2) : 89 - 101
  • [10] Probability theory - The logic of science
    Jaffe, AH
    SCIENCE, 2003, 301 (5638) : 1329 - 1330