Evidence logics with relational evidence

DOI10.1007/978-3-662-55665-8_2zbMATH Open1495.03017arXiv1706.05905OpenAlexW2661715241MaRDI QIDQ1679739

Andrés Occhipinti, Alexandru Baltag

Publication date: 22 November 2017

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.

Full work available at URL: https://arxiv.org/abs/1706.05905

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (5)

Evidential support logic programming ⋮ Semirings of Evidence ⋮ Interacting explicit evidence systems ⋮ A quantified logic of evidence ⋮ EVIDENCE MEASURES INDUCED BY KRIPKE'S ACCESSIBILITY RELATIONS

This page was built for publication: Evidence logics with relational evidence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1679739)