Modal Logical Neural Networks