2 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
The frame-completeness conjecture for the class of all interpretability frames
Let $\mathfrak F$ be a class of ${\textup{\textbf{IL}}}$ -frames, and define … Let $\mathfrak{All}$ be the class of frames in which every $S$ -relation implication that follows both…
openinterpretability-logic kripke-semantics modal-logic
0 responses
05

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