Pages that link to "Item:Q1743993"
From MaRDI portal
The following pages link to Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993):
Displayed 7 items.
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
- Rosser provability and normal modal logics (Q2186698) (← 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)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)