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 条
  • [21] Implicational tonoid semilinear logics: Prelinear logics and their relational semantics
    Yang, Eunsuk
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2022, 43 (01) : 1541 - 1552
  • [22] Generalized Galois Logics. Relational Semantics of Nonclassical Logics
    Orlowska, Ewa
    STUDIA LOGICA, 2011, 97 (03) : 415 - 419
  • [23] No evidence for language benefits in infant relational learning
    Anderson, Erin M.
    Chang, Yin-Juei
    Hespos, Susan
    Gentner, Dedre
    INFANT BEHAVIOR & DEVELOPMENT, 2022, 66
  • [24] Designing Service Evidence for Positive Relational Messages
    Lo, Kathy Pui Ying
    INTERNATIONAL JOURNAL OF DESIGN, 2011, 5 (02): : 5 - 13
  • [25] The determinants of voluntary relational liabilities: empirical evidence
    Guermazi, Hend
    Damak, Salma
    Beldi, Adel
    CORPORATE COMMUNICATIONS, 2024, 29 (05) : 670 - 691
  • [26] Conjunction Search Is Relational: Behavioral and Electrophysiological Evidence
    Becker, Stefanie I.
    Harris, Anthony M.
    York, Ashley
    Choi, Jessica
    JOURNAL OF EXPERIMENTAL PSYCHOLOGY-HUMAN PERCEPTION AND PERFORMANCE, 2017, 43 (10) : 1828 - 1842
  • [27] THE TIMING OF ARTICULATORY GESTURES - EVIDENCE FOR RELATIONAL INVARIANTS
    TULLER, B
    KELSO, JAS
    JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1984, 76 (04): : 1030 - 1036
  • [28] EVIDENCE FOR RELATIONAL CONTRACTS IN SOVEREIGN BANK LENDING
    Benczur, Peter
    Ilut, Cosmin L.
    JOURNAL OF THE EUROPEAN ECONOMIC ASSOCIATION, 2016, 14 (02) : 375 - 404
  • [29] On probabilistic inference in relational conditional logics
    Thimm, Matthias
    Kern-Isberner, Gabriele
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (05) : 872 - 908
  • [30] Relational databases and homogeneity in logics with counting
    Massey University, Department of Information Systems, Information Science Research Centre, PO Box 756, Wellington, New Zealand
    Acta Cybern, 2006, 3 (485-511):
12345