Pages that link to "Item:Q804561"
From MaRDI portal
The following pages link to A note on the normal form of closed formulas of interpretability logic (Q804561):
Displaying 6 items.
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- Some independence results in interpretability logic (Q804562) (← links)
- On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) (Q892132) (← links)
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
- The Closed Fragment of IL is PSPACE Hard (Q2825406) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
