The following pages link to (Q5419879):
Displaying 15 items.
- On provability logics with linearly ordered modalities (Q456968) (← links)
- On the complexity of the closed fragment of Japaridze's provability logic (Q482919) (← links)
- Kripke semantics for provability logic GLP (Q636316) (← links)
- Nonstandard models and Kripke's proof of the Gödel theorem (Q698542) (← links)
- Decidable Kripke models of intuitionistic theories (Q1295382) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- A Topological Study of the Closed Fragment of GLP (Q3094148) (← links)
- Well-orders in the transfinite Japaridze algebra (Q4644499) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- Models of transfinite provability logic (Q5300077) (← links)
- A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic (Q5696302) (← links)