3 citations · 4 across the 7 of their papers we have counts for
Showing 2019 · math.LOShow all
2 papers · 2 filters
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…
math.LO2019
Self-referentiality in Justification Logic
Nathan Sebastian Gass, Thomas Studer
The Logic of Proofs, LP, and other justification logics can have self-referential justifications of the form t:A. Such self-referential justifications are necessary for the realiza…