Pages that link to "Item:Q2915733"
From MaRDI portal
The following pages link to A note on normal forms for the closed fragment of system IL (Q2915733):
Displaying 5 items.
- A note on the normal form of closed formulas of interpretability logic (Q804561) (← links)
- On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) (Q892132) (← links)
- A cut-free sequent system for the smallest interpretability logic (Q1604800) (← links)
- The closed fragment of IL is PSPACE hard (Q2825406) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)