The following pages link to Omega-consistency and the diamond (Q1153905):
Displaying 4 items.
- The single-minded pursuit of consistency and its weakness (Q631514) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- In Memoriam: George Stephen Boolos 1940–1996 (Q3128484) (← links)
- On strong provability predicates and the associated modal logics (Q5287692) (← links)
