Pages that link to "Item:Q1685909"
From MaRDI portal
The following pages link to On the reflection calculus with partial conservativity operators (Q1685909):
Displaying 5 items.
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
- Modal companions of \(K4^+\) (Q2082262) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
