Pages that link to "Item:Q482919"
From MaRDI portal
The following pages link to On the complexity of the closed fragment of Japaridze's provability logic (Q482919):
Displaying 4 items.
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
- Modal companions of \(K4^+\) (Q2082262) (← links)
- Closed Fragments of Provability Logics of Constructive Theories (Q3617381) (← links)
- An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP (Q4008752) (← links)
