From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks