The following pages link to Justification Logic (Q3532452):
Displayed 6 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- Propositional games with explicit strategies (Q731893) (← 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)