1. Abeles, F.: Lewis Carroll’s method of trees: its origins in studies in logic. Mod. Log. 1, 25–35 (1990)
2. Anellis, I.: From semantic tableaux to smullyan trees: a history of the development of the falsifiability tree method. Mod. Log. 1, 36–69 (1990)
3. Burch, R.: Game-theoretical semantics for peirce’s existential graphs. Synthese 99, 361–375 (1994)
4. Carroll, L.: Symbolic Logic, Part I and Part II. Bartley III., W.W. (ed.). Clarkson N Potter, New York (1977)
5. Garson, J.: Modal Logic for Philosophers. Cambridge University Press, Cambridge (2006)