Pages that link to "Item:Q1743993"

The following pages link to Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993):

Displaying 14 items.

• An arithmetical completeness theorem for pre-permutations (Q689195) (← links)
• On the proof of Solovay's theorem (Q1176096) (← links)
• Syntactical results on the arithmetical completeness of modal logic (Q1319362) (← links)
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
• Rosser provability and normal modal logics (Q2186698) (← links)
• No escape from Vardanyan's theorem (Q2501168) (← links)
• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
• PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)
• CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
• ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)
• THE -PROVABILITY LOGIC OF (Q5195060) (← links)
• (Q5424684) (← links)
• Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
• The persistence principle over weak interpretability logic (Q6561649) (← links)