Soundness and Completeness Results for the Logic of Evidence Aggregation and its Probability Semantics

Author

Eoin Moore, The Graduate Center, City University of New YorkFollow

Date of Degree

9-2023

Document Type

Dissertation

Degree Name

Ph.D.

Program

Mathematics

Advisor

Sergei Artemov

Committee Members

Russell Miller

Roman Kossak

Subject Categories

Logic and Foundations

Keywords

logic, justification logic, evidence aggregation, lax logic, proof theory, logic of evidence aggregation

Abstract

The Logic of Evidence Aggregation (LEA), introduced in 2020, offers a solution to the problem of evidence aggregation, but LEA is not complete with respect to the intended probability semantics. This left open the tasks to find sound and complete semantics for LEA and a proper axiomatization for probability semantics. In this thesis we do both. We also develop the proof theory for some LEA-related logics and show surprising connections between LEA-related logics and Lax Logic.

Recommended Citation

Moore, Eoin, "Soundness and Completeness Results for the Logic of Evidence Aggregation and its Probability Semantics" (2023). CUNY Academic Works.
https://academicworks.cuny.edu/gc_etds/5456