Soundness is standardly defined as valid argument plus true premises in the actual world; modal nece...
This proposition has not been edited since the history system was added.