The following pages link to (Q5232011):
Displaying 19 items.
- Logic of proofs (Q1326774) (← links)
- Structured argumentation dynamics. Undermining attacks in default justification logic (Q2075383) (← links)
- Explicit non-normal modal logic (Q2148779) (← links)
- Justification logic and type theory as formalizations of intuitionistic propositional logic (Q2151394) (← links)
- A logic of interactive proofs (Q2151405) (← links)
- A logic of knowing why (Q2693121) (← links)
- (Q3069241) (← links)
- Arithmetical Completeness of the Intuitionistic Logic of Proofs (Q3094147) (← links)
- (Q3987175) (← links)
- Foundations for a logic of arguments (Q4586228) (← links)
- (Q4824968) (← links)
- Proofs and Models in Philosophical Logic (Q5021146) (← links)
- Justification Logics with Probability Operators (Q5024719) (← links)
- A Conflict Tolerant Logic of Explicit Evidence (Q5059694) (← links)
- Semirings of Evidence (Q5098741) (← links)
- Stoic Sequent Logic and Proof Theory (Q5208124) (← links)
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)
- A substructural approach to explicit modal logic (Q6156629) (← links)
- Tableaux and interpolation for propositional justification logics (Q6564678) (← links)
