The following pages link to (Q3085172):
Displayed 10 items.
- On the complexity of the closed fragment of Japaridze's provability logic (Q482919) (← links)
- Kripke semantics for provability logic GLP (Q636316) (← links)
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
- Modal companions of \(K4^+\) (Q2082262) (← links)
- On the positive fragment of the polymodal provability logic GLP (Q2435945) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)