A note on the normal form of closed formulas of interpretability logic
From MaRDI portal
Publication:804561
DOI10.1007/BF00370384zbMath0728.03015MaRDI QIDQ804561
Publication date: 1991
Published in: Studia Logica (Search for Journal in Brave)
Related Items
On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) ⋮ Provability and interpretability logics with restricted realizations ⋮ The Closed Fragment of IL is PSPACE Hard ⋮ The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) ⋮ Some independence results in interpretability logic
Cites Work