1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2023★ 1 cited
Impossible and Conflicting Obligations in Justification Logic
Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann +1
Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is di…
cs.LO2023
Belief Expansion in Subset Models
Eveline Lehmann, Thomas Studer
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 justifie…
math.LO2019
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…