Soundness means: It does not prove bullshit.
A. Baltag
Schlagwort: Logik
Fucking correct.
Entspannungsbeweis.
Now we are massaging the tree from top to bottom and from right to left.
a logician
Sogar hier: Das N-Wort.
We live in an age of “informational conspicuous consumption”: an informational explosion, an orgy of data. But, like any uncontrollable explosion, this is both unsustainable and damaging in the long run. We need to become more environmentally-friendly, not only to our biological environment, but also to our informational one. I believe that Logic (and in particular, a Resource-Sensitive Dynamic Logic) is the key to sustainable informational development.
Bring it on.
From now on it's model or modal but never modest.
Keep it informal.
A formal definition here would do more harm than good ...