Pages that link to "Item:Q1740459"
From MaRDI portal
The following pages link to Provability logic and the completeness principle (Q1740459):
Displaying 7 items.
- Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Hard provability logics (Q2658282) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- THE -PROVABILITY LOGIC OF (Q5195060) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
