The following pages link to (Q3912553):
Displaying 6 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- A note on the normal form of closed formulas of interpretability logic (Q804561) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- Fixed point algebras (Q3333037) (← links)
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)