The following pages link to Justification Logic (Q3532452):
Displaying 9 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- Propositional games with explicit strategies (Q731893) (← links)
- A logic of plausible justifications (Q744992) (← links)
- Justification logic with confidence (Q2193973) (← links)
- Correct audit logging in concurrent systems (Q2229154) (← links)
- NEXP-Completeness and Universal Hardness Results for Justification Logic (Q3194706) (← links)
- Self-referentiality of Justified Knowledge (Q3503641) (← links)
- Justification Logic (Q3532452) (← links)
- A LOGIC OF JUSTIFICATION AND TRUTHMAKING (Q4928776) (← links)