3 problems

The ILM.4 characterization conjecture for the frame $\widetilde{\mathfrak{G}_1^{\bullet}}$
Let $\widetilde{\mathfrak{G}_1^{\bullet}}$ be the frame whose validity on the closed fragment $\mathcal{F}_1$ characterizes provability in ${\mathrm{PRA}}$ , and let…
openinterpretability-logic modal-logic provability-logic
0 responses
05
Conjectured characterizations and reductions of intuitionistic provability logics of arithmetic
Characterizations and reductions conjecture. The following characterizations and reductions hold:
openarithmetic intuitionistic-logic provability-logic
0 responses
06
Arithmetic completeness of the reflection calculus with nabla
Let $T$ be a theory, and let ${\mathrm{RC}^\nabla\hspace{-0.7pt}}$ be the reflection calculus with modalities $\Diamond_n$ and $\nabla_n$ . An arithmetical interpretation $*$ in…
openarithmetic provability-logic reflection-calculus
0 responses
05

The ILM.4 characterization conjecture for the frame G1∙~\widetilde{\mathfrak{G}_1^{\bullet}}G1∙​​