1. van Benthem, J.: Semantic parallels in natural language and computation. In: Studies in Logic and the Foundations of Mathematics, vol. 129 (1989)
2. van Benthem, J.: Modal logic as a theory of information. In: Copeland, J. (ed.) Logic and Reality: Essays on the legacy of Arthur Prior, pp. 135–158. Clarendon Press, Oxford (1996)
3. van Benthem, J.: Implicit and explicit stances in logic. J. Philos. Log. 48(3), 571–601 (2019)
4. Birkhoff, G., Neumann, J.V.: The Logic of Quantum Mechanics. Springer, Dordrecht (1975)
5. Birkhoff, G.T.: Lattice Theory. American Mathematical Society (1967)