On systems of modal logic with provability interpretations
- 1 April 1980
- Vol. 46 (1) , 7-18
- https://doi.org/10.1111/j.1755-2567.1980.tb00686.x
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Provability, truth, and modal logicJournal of Philosophical Logic, 1980
- Transitivity follows from Dummett's axiomTheoria, 1978
- Arithmetical necessity, provability and intuitionistic logicTheoria, 1978
- Provability interpretations of modal logicIsrael Journal of Mathematics, 1976