Author:
Holmström-Hintikka Ghita,LindstrÖm Sten,Sliwinski Rysiek
Reference35 articles.
1. Ackermann, W. 1954. Solvable cases of the decision problem. Amsterdam.
2. Anderson, A.R. 1954. Improved decision procedures for Lewis’s calculus S4 and von Wright’s calculus M. The Journal of Symbolic Logic, vol. 19, pp. 201–214. Correction, ibid., vol. 20 (1955), p. 150.
3. Bernays, P. and M. Schönfinkel. 1928. Zum Entscheidungsproblem der mathematischen Logik. Mathematische Annalen, vol. 99, pp. 342–372.
4. Beth, E.W. 1955. Semantic entailment and formal derivability (= Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, Nieuwe Reeks, deel 18, no. 13). Amsterdam.
5. Carnap, R. 1946. Modalities and quantification. The Journal of Symbolic Logic, vol. 11, pp. 33–64.