1. Anderson, A. R., Belnap, N. D. and Dunn, J. M. (1992)Entailment: The Logic of Relevance and Necessity, Vol. 2, Princeton, Princeton University Press.
2. Bochenski, J. (1956)Formale Logik, Freiburg, K. Albert. Translated and edited by I. Thomas,A History of Formal Logic, second edition, New York, Chelsea Publishing Company, 1970.
3. Bressan, A. (1972)A General Interpreted Modal Calculus, New Haven and London, Yale University Press.
4. Carnap, P. (1937)The Logical Syntax of Language, International library of psychology, philosophy and scientific method, New York, Harcourt, Brace. Translation ofLogische Syntax der Sprache by A. S. Smeaton (Countess von Zeppelin).
5. Church, A. (1956)Introduction to Mathematical Logic, Princeton, NJ, Princeton University Press.