The following pages link to Evan Goris (Q636277):
Displayed 13 items.
- A modal provability logic of explicit and implicit proofs (Q636278) (← links)
- Interpolation and the interpretability logic of PA (Q867400) (← links)
- Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
- Self provers and 1 sentences (Q2903747) (← links)
- A new principle in the interpretability logic of all reasonable arithmetical theories (Q3081234) (← links)
- Logic of Proofs for Bounded Arithmetic (Q3434694) (← links)
- Modal Matters for Interpretability Logics (Q3535605) (← links)
- PDL for ordered trees (Q3647225) (← links)
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
- Explicit Proofs in Formal Provability Logic (Q5434510) (← links)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- Two series of formalized interpretability principles for weak systems of arithmetic (Q6260464) (← links)
- Assuring and critical labels for relations between maximal consistent sets for interpretability logics (Q6336450) (← links)