6th International Workshop on Logic, Rationality, and Interaction - LORI VI, Sapporo (Japan). 11-14 September 2017
Summary:
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.
DOI: 
https://doi.org/10.1007/978-3-662-55665-8_2
Publication date: 2017-08-24.
Citation:
A. Baltag, A. Occhipinti Liberman, Evidence logics with relational evidence, 6th International Workshop on Logic, Rationality, and Interaction - LORI VI, Sapporo (Japan). 11-14 September 2017.
