Pages that link to "Item:Q3406688"
From MaRDI portal
The following pages link to Analytic Methods for the Logic of Proofs (Q3406688):
Displaying 8 items.
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Proof-theoretic analysis by iterated reflection (Q1407608) (← links)
- Analytic solutions of logic equations (Q1904815) (← links)
- (Q3338233) (← links)
- (Q3837732) (← links)
- (Q4925886) (← links)
- Tableaux and interpolation for propositional justification logics (Q6564678) (← links)