DAVOLI Logic