Subset models provide a new semantics for justifcation logic. The main idea of subset models is that evidence terms are interpreted as sets of possible worlds. A term then justifies a formula if that formula is true in each world of the interpretation of the term. In this paper, we introduce a belief expansion operator for subset models. We study the main properties of the resulting logic as well as the differences to a previous (symbolic) approach to belief expansion in justification logic.
CITATION STYLE
Lehmann, E., & Studer, T. (2020). Belief Expansion in Subset Models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11972 LNCS, pp. 85–97). Springer. https://doi.org/10.1007/978-3-030-36755-8_6
Mendeley helps you to discover research relevant for your work.