The following pages link to On bimodal logics of provability (Q1332858):
Displaying 12 items.
- Modal logics with several operators and probability interpretations (Q579232) (← links)
- Provability logics for natural Turing progressions of arithmetical theories (Q804564) (← links)
- A course on bimodal provability logic (Q1891253) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Much shorter proofs: A bimodal investigation (Q3474647) (← links)
- Rosser Orderings in Bimodal Logics (Q4206710) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- (Q4443211) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- (Q5149162) (← links)
- Solutions to the knower paradox in the light of Haack's criteria (Q6166128) (← links)