Provability interpretations of modal logic
- 1 September 1976
- journal article
- Published by Springer Nature in Israel Journal of Mathematics
- Vol. 25 (3-4) , 287-304
- https://doi.org/10.1007/bf02757006
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- One hundred and two problems in mathematical logicThe Journal of Symbolic Logic, 1975
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- Solution of a problem of Leon HenkinThe Journal of Symbolic Logic, 1955