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)
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items
On bimodal logics of provability, The omega-rule interpretation of transfinite provability logic, A NOTE ON DERIVABILITY CONDITIONS
Cites Work
- 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
- Unnamed Item
- Unnamed Item