# Evidence Logics with Relational Evidence

## TL;DR

This paper introduces a new family of dynamic logics for reasoning about relational evidence, specifically involving plausibility orderings of states, with sound and complete axiomatizations and dynamic actions.

## Contribution

It presents novel logics for relational evidence with formal axiomatizations and extends them to dynamic actions, filling a gap in evidence reasoning frameworks.

## Key findings

- Provided sound and complete axiomatizations for the new logics.
- Developed dynamic logics with evidential actions and proved their soundness and completeness.
- Enhanced formal tools for reasoning about evidence involving plausibility orderings.

## Abstract

Dynamic evidence logics are logics for reasoning about the evidence and evidence-based beliefs of agents in a dynamic environment. In this paper, we introduce a family of logics for reasoning about relational evidence: evidence that involves an orderings 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.