Conference paper · Book chapter
Evidence logics with relational evidence
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.
Language: | English |
---|---|
Publisher: | Springer Berlin Heidelberg |
Year: | 2017 |
Pages: | 17-32 |
Proceedings: | 6th International Conference on Logic, Rationality and Interaction |
Series: | Lecture Notes in Computer Science |
Journal subtitle: | 6th International Workshop, Lori 2017, Sapporo, Japan, September 11-14, 2017, Proceedings |
ISBN: | 3662556642 , 3662556650 , 9783662556641 and 9783662556658 |
ISSN: | 16113349 and 03029743 |
Types: | Conference paper and Book chapter |
DOI: | 10.1007/978-3-662-55665-8_2 |