Before revision: There are different standard both for what counts as a logic and what exactly it means for a logic to be "correct" .
After revision: There are different standards both for what counts as a logic and what exactly it means for a logic to be "correct" .