References
Bernard Linsky
Propositional logic from the principles of mathematics to principia mathematica
2016
in: Early analytic philosophy, Dordrecht : Springer
Leon Chwistek's theory of constructive types
2009
in: The Golden age of Polish philosophy, Dordrecht : Springer
The worlds of possibility: modal realism and the semantics of modal logic
2001
Philosophy and Phenomenological Research 63/2