ぼくも形式意味論にちょっと興味持って少し勉強してたんですが、
この分野についてあんまり情報がすくないので、
なにかないかとスレ建ててみました。

van Benthemの名前は形式意味論、論理学への入門書紹介とかでよく見るような気がしますね。

>>11氏はどのような分野のひとですか？
日本で形式意味論となると、実際言語学でなくて、言語哲学か情報系の学部のほうが近いように思われますが。
僕はまだ身が固まってないようなです。