A course on bimodal provability logic
From MaRDI portal
Publication:1891253
DOI10.1016/0168-0072(93)E0079-4zbMath0828.03008WikidataQ128036853 ScholiaQ128036853MaRDI QIDQ1891253
Publication date: 18 December 1995
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
modal logicmodelsframesbimodal logicarithmetical completeness\(\omega\)-tailslogics for subsystems of Peano arithmeticprovability logics with reflection
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items
The structure of lattices of subframe logics ⋮ A short note on essentially \(\Sigma_1\) sentences ⋮ Bimodal logics for extensions of arithmetical theories ⋮ Rules and arithmetics
Cites Work
- Unnamed Item
- On the complexity of arithmetical interpretations of modal formulae
- Self-reference and modal logic
- Provability interpretations of modal logic
- Partially Conservative Extensions of Arithmetic
- Modal analysis of generalized rosser sentences
- Provability in finite subtheories of PA and relative interpretability: a modal investigation