Rosser provability and normal modal logics
From MaRDI portal
Publication:2186698
DOI10.1007/s11225-019-09865-2zbMath1481.03007arXiv1812.09735OpenAlexW2906571182MaRDI QIDQ2186698
Publication date: 9 June 2020
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.09735
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Arithmetical completeness theorems for monotonic modal logics, Rosser provability and the second incompleteness theorem
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal tableau calculi and interpolation
- Self-reference and modal logic
- Provability interpretations of modal logic
- On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
- Peano's smart children: A provability logical study of systems with built-in consistency
- A smart child of Peano's
- The fixed point property in modal logic
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
- Derivability conditions on Rosser's provability predicates
- Arithmetization of metamathematics in a general setting
- Rosser sentences
- On Rosser's Provability Predicate
- UNIVERSAL ROSSER PREDICATES
