Evidence logics with relational evidence

Authors
Publication date 2017
Host editors
  • A. Baltag
  • J. Seligman
  • T. Yamada
Book title Logic, Rationality, and Interaction
Book subtitle 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings
ISBN
  • 9783662556641
ISBN (electronic)
  • 9783662556658
Series Lecture Notes in Computer Science
Event 6th International Workshop Logic, Rationality, and Interaction
Pages (from-to) 17-32
Number of pages 16
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-662-55665-8_2
Other links https://www.scopus.com/pages/publications/85029406828
Permalink to this page
Back