1. Cialdea, M. and Cerro, L., `A Modal Herbrand Property’, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 32 (1986), 523–530.
2. Dreben, B. and Goldfarb, W. D., The Decision Problem. Solvable Cases of Quantificational Formulas, Advanced Book Program, Addison-Wesley, Reading, MA, U.S.A., 1979.
3. Fitting, M. C., `An Epsilon-Calculus System for First-Order S4’, in W. Hodges (ed.), Conference in Mathematical Logic, London `70, Springer Lecture Notes in Math. 255, 1972, pp. 103–110.
4. Fitting, M. C., `A Modal Logic Analog of Smullyan’s Fundamental Theorem’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 19 (1973), 1–16.
5. Fitting, M. C., `A Modal Logic Epsilon-Calculus’, Notre Dame J. Formal Logic, 16 (1975), 1–16.