A note on the normal form of closed formulas of interpretability logic

DOI10.1007/BF00370384zbMath0728.03015MaRDI QIDQ804561

Petr Hájek, Vítězslav Švejdar

Publication date: 1991

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

interpretability logicprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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

• Infinitary compactness without strong inaccessibility
• Unnamed Item
• Unnamed Item