Modern model-theoretic semantics already captures inference validity across interpretations without ...
This proposition has not been edited since the history system was added.