3 citations · 3 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…