are Such a system is proposed as a formal reconstruction of Leibniz's doctrine of possible individuals in Benson Mates, Leibniz on Possible Worlds, in Logic, Methodology, and Philosophy of Science ed.