Pages that link to "Item:Q5434510"

The following pages link to Explicit Proofs in Formal Provability Logic (Q5434510):

Displaying 2 items.

• A modal provability logic of explicit and implicit proofs (Q636278) (← links)
• The Logic of Justification (Q2971696) (← links)