A Connectionist Model for Constructive Modal Reasoning - Garcez, Artur; Lamb, Luis; Gabbay, Dov M. (Advances in Neural Information Processing Systems, 2005)