Evidence Logics with Relational Evidence

被引：1
|
作者：
Baltag, Alexandru [1 ]
Occhipinti, Andres [2 ]
机构：
[1] Univ Amsterdam, Amsterdam, Netherlands
[2] Tech Univ Denmark, DTU Compute, Copenhagen, Denmark
来源：
LOGIC, RATIONALITY, AND INTERACTION, LORI 2017 | 2017年 / 10455卷
关键词：
Evidence logic; Dynamic epistemic logic; Belief revision; BELIEF;
D O I：
10.1007/978-3-662-55665-8_2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness and completeness for the associated dynamic logics.
引用
收藏
页码：17 / 32
页数：16
相关论文
共 50 条
  • [31] Relational Complexity and Higher Order Logics
    Maria Turull-Torres, Jose
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), 2016, 9616 : 311 - 333
  • [32] Relational representability for algebras of substructural logics
    Orlowska, Ewa
    Radzikowska, Anna Maria
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 212 - 224
  • [33] EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS
    Kruckman, Alex
    Moss, Lawrence S.
    REVIEW OF SYMBOLIC LOGIC, 2021, 14 (03): : 728 - 765
  • [34] Alignment Completeness for Relational Hoare Logics
    Nagasamudram, Ramana
    Naumann, David A.
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [35] Fuzzy relational equations in monoidal logics
    Kohout, LJ
    2004 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, PROCEEDINGS, 2004, : 1555 - 1559
  • [36] Modal logics in the theory of relational databases
    Das, SK
    INFORMATION PROCESSING LETTERS, 1996, 57 (01) : 1 - 7
  • [37] The Next 700 Relational Program Logics
    Maillard, Kenji
    Hritcu, Catalin
    Rivas, Exequiel
    Van Muylder, Antoine
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
  • [38] Relational Databases and Homogeneity in Logics with Counting
    Torres, Jose Maria Turull
    ACTA CYBERNETICA, 2006, 17 (03): : 485 - 511
  • [39] Divergences on monads for relational program logics
    Sato, Tetsuya
    Katsumata, Shin-ya
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2023, 33 (4-5) : 427 - 485
  • [40] Product programs and relational program logics
    Barthe, Gilles
    Crespo, Juan Manuel
    Kunz, Cesar
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (05) : 847 - 859
12345