6th International Workshop on Logic, Rationality, and Interaction - LORI VI, Sapporo (Japón). 11-14 septiembre 2017
Resumen:
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
Fecha de publicación: 2017-08-24.
Cita:
A. Baltag, A. Occhipinti Liberman, Evidence logics with relational evidence, 6th International Workshop on Logic, Rationality, and Interaction - LORI VI, Sapporo (Japón). 11-14 septiembre 2017.
