>結局のところ「ある記号に¬を置くか置かないかという二値論理で表される」というのは分かっている
え？どうしてそうなったの。
もっかい、二値の場合のそれぞれの値と、多値の場合のそれぞれの値を書いてみて。

>この場合の「￢B」ってつまり何なの、どうなるの、というのが今回の例題(>>1)における趣旨なわけでしょ
え？どうしてそうなったの。
そのやり方だと、￢Bっていう表現は、
数学でいうところの、「≠sin(x)」みたいに意味不明だよ。
sin(x)≠0は正しい書き方だけど、役割が変わってるぞ。

>「～べき」という様相を体系的に扱える様相論理を参考にしてみようぜという話に誘導した
はぁ。

全体的に、命題論理が分かっていないようですね。
軽く調べればわかると思いますよ。
とくに、命題、真理値、リテラル、演算子、この辺は最初の方にでてくるので定義を確認してください。