Evidence logics with relational evidence

Alexandru Baltag, Andrés Occhipinti

Research output: Contribution to journalConference articleResearchpeer-review

Abstract

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.
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume10445
Pages (from-to)17-32
ISSN0302-9743
DOIs
Publication statusPublished - 2017
EventInternational Workshop on Logic, Rationality and Interaction - Sapporo, Japan
Duration: 11 Sep 201714 Sep 2017

Conference

ConferenceInternational Workshop on Logic, Rationality and Interaction
CountryJapan
CitySapporo
Period11/09/201714/09/2017

Keywords

  • Evidence logic
  • Dynamic logic

Fingerprint Dive into the research topics of 'Evidence logics with relational evidence'. Together they form a unique fingerprint.

Cite this