Abstract
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.
Original language | English |
---|---|
Book series | Lecture Notes in Computer Science |
Volume | 10445 |
Pages (from-to) | 17-32 |
ISSN | 0302-9743 |
DOIs | |
Publication status | Published - 2017 |
Event | 6th International Conference on Logic, Rationality and Interaction - Hokkaido University, Sapporo, Japan Duration: 11 Sep 2017 → 14 Sep 2017 Conference number: 6 https://golori.org/lori2017/ |
Conference
Conference | 6th International Conference on Logic, Rationality and Interaction |
---|---|
Number | 6 |
Location | Hokkaido University |
Country/Territory | Japan |
City | Sapporo |
Period | 11/09/2017 → 14/09/2017 |
Internet address |
Keywords
- Evidence logic
- Dynamic logic