Subset models for justification logic

Eveline Lehmann, Thomas Studer

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 justif…