The following pages link to Referential logic of proofs (Q2500486):
Displaying 6 items.
- A complexity question in justification logic (Q2453576) (← links)
- Justified common knowledge (Q2500478) (← links)
- The Logic of Justification (Q2971696) (← links)
- THE LOGIC OF JUSTIFICATION (Q3580683) (← links)
- Decidability for some justification logics with negative introspection (Q5300069) (← links)
- Symmetric Logic of Proofs (Q5452174) (← links)
