Pages that link to "Item:Q1176093"

The following pages link to Provability: The emergence of a mathematical modality (Q1176093):

Displaying 12 items.

• Transductions in arithmetic (Q904144) (← links)
• Mathematical modal logic: A view of its evolution (Q1422628) (← links)
• Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
• The knower paradox in the light of provability interpretations of modal logic (Q1778104) (← links)
• The arithmetics of a theory (Q2345393) (← links)
• In Memoriam: George Stephen Boolos 1940–1996 (Q3128484) (← links)
• Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
• The Henkin Sentence (Q3454817) (← links)
• Closed Fragments of Provability Logics of Constructive Theories (Q3617381) (← links)
• A translation from the modal logic of provability into K4 (Q4299137) (← links)
• ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY (Q4918381) (← links)
• Constructive Modalities with Provability Smack (Q5255796) (← links)