A ese trabajo siguieron muchos otros donde proponía lógicas deónticas aritmetizables, siempre en el espíritu de las ideas seminales de Leibniz.