Pages that link to "Item:Q392274"
From MaRDI portal
The following pages link to Positive provability logic for uniform reflection principles (Q392274):
Displayed 5 items.
- On provability logics with linearly ordered modalities (Q456968) (← links)
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)