Probabilistic Logic Models for the Lightning Network