The following pages link to THE -PROVABILITY LOGIC OF (Q5195060):
Displaying 7 items.
- Intermediate logics and the de Jongh property (Q627438) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- Hard provability logics (Q2658282) (← links)
- (Q2998377) (← links)
- Preservativity logic: An analogue of interpretability logic for constructive theories (Q4808463) (← links)
- HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. (Q6168463) (← links)
- The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)