The following pages link to On bimodal logics of provability (Q1332858):
Displayed 4 items.
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
- Solutions to the knower paradox in the light of Haack's criteria (Q6166128) (← links)