Subset models for justification logic

DOI10.1007/978-3-662-59533-6_26MaRDI QIDQ6313749arXivFDO

Authors Eveline Lehmann, Thomas Studer

Publication date 7 February 2019

Published in arXiv

Full work available at URL https://doi.org/10.1007/978-3-662-59533-6_26

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

arXiv classification

math.LO

Abstract: We introduce a new semantics for justification logic based on subset relations. Instead of using the established and more symbolic interpretation of justifications, we model justifications as sets of possible worlds. We introduce a new justification logic that is sound and complete with respect to our semantics. Moreover, we present another variant of our semantics that corresponds to traditional justification logic. These types of models offer us a versatile tool to work with justifications, e.g.~by extending them with a probability measure to capture uncertain justifications. Following this strategy we will show that they subsume Artemov's approach to aggregating probabilistic evidence.

This page was built for publication: Subset models for justification logic

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