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
Event6th International Conference on Logic, Rationality and Interaction - Hokkaido University, Sapporo, Japan
Duration: 11 Sep 201714 Sep 2017
Conference number: 6
https://golori.org/lori2017/

Conference

Conference6th International Conference on Logic, Rationality and Interaction
Number6
LocationHokkaido University
Country/TerritoryJapan
CitySapporo
Period11/09/201714/09/2017
Internet address

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