The following pages link to (Q2904046):
Displayed 7 items.
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Proof internalization in generalized Frege systems for classical logic (Q392294) (← links)
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298) (← links)
- Realization for justification logics via nested sequents: modularity through embedding (Q435202) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Prehistoric graph in modal derivations and self-referentiality (Q1678748) (← links)
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)