Pages that link to "Item:Q2825406"
From MaRDI portal
The following pages link to The closed fragment of IL is PSPACE hard (Q2825406):
Displaying 4 items.
- On the complexity of the closed fragment of Japaridze's provability logic (Q482919) (← links)
- On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) (Q892132) (← links)
- Complexity of the interpretability logics <b>IL</b>W and <b>IL</b>P (Q5877713) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)