The modal logic of provability. The sequential approach
- 1 August 1982
- journal article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 11 (3) , 311-342
- https://doi.org/10.1007/bf00293433
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- The modal logic of provability: Cut-eliminationJournal of Philosophical Logic, 1983
- Extremely undecidable sentencesThe Journal of Symbolic Logic, 1982
- George Boolos. The unprovability of consistency. An essay in modal logic. Cambridge University Press, Cambridge etc. 1979, viii + 184 pp.The Journal of Symbolic Logic, 1981
- On the proof theory of the modal logic for arithmetic provabilityThe Journal of Symbolic Logic, 1981
- A modal sequent calculus for a fragment of arithmeticStudia Logica, 1980
- Intuitionistic diagonalizable algebrasAlgebra universalis, 1979
- An effective fixed-point theorem in intuitionistic diagonalizable algebrasStudia Logica, 1976
- The uniqueness of the fixed-point in every diagonalizable algebraStudia Logica, 1976
- Provability interpretations of modal logicIsrael Journal of Mathematics, 1976
- Solution of a problem of Leon HenkinThe Journal of Symbolic Logic, 1955