Independent numerations of theories and recursive progressions
From MaRDI portal
Publication:1204765
DOI10.1007/BF00970985zbMath0787.03054MaRDI QIDQ1204765
Publication date: 28 March 1993
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03F30: First-order arithmetic and fragments
03F40: Gödel numberings and issues of incompleteness
Related Items
A NOTE ON DERIVABILITY CONDITIONS, On bimodal logics of provability, The omega-rule interpretation of transfinite provability logic
Cites Work
- Unnamed Item
- Unnamed Item
- Modal logics with several operators and probability interpretations
- Provability logics for natural Turing progressions of arithmetical theories
- The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
- Provability interpretations of modal logic
- Arithmetization of metamathematics in a general setting
- Arithmetical interpretations of dynamic logic
- Provability in finite subtheories of PA and relative interpretability: a modal investigation
- Calculating self-referential statements