 From a formal point of view the semantics of the Leibnizian theory may be seen as an alternative interpretation of the semantics of the Ockhamist theory with the only difference that in the Leibnizian theory not all maximal linear subsets have to be accepted as proper chronicles in the model.