Thomas Studer

Belief Expansion in Subset Models

2023 · arXiv (Cornell University)

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 …