Pages that link to "Item:Q685073"
From MaRDI portal
The following pages link to The analytical completeness of Dzhaparidze's polymodal logics (Q685073):
Displaying 4 items.
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
- A many-sorted variant of Japaridze’s polymodal provability logic (Q5095650) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)