Pages that link to "Item:Q4644547"

The following pages link to Weak arithmetical interpretations for the Logic of Proofs (Q4644547):

Displayed 5 items.

• Explicit non-normal modal logic (Q2148779) ‎ (← links)
• A logic of interactive proofs (Q2151405) ‎ (← links)
• Justification Logics with Probability Operators (Q5024719) ‎ (← links)
• A Conflict Tolerant Logic of Explicit Evidence (Q5059694) ‎ (← links)
• Semirings of Evidence (Q5098741) ‎ (← links)