>>162
モデル検査などの応用指向で時相論理を研究する人や、
哲学指向の論理学で義務論理を研究する人はそうでしょう。
しかし、様々な代数系の数学的性質を調べるのと同様に、
時相論理や義務論理の数学的性質プロパーに興味をもって
研究している非古典論理研究者もいるのではないでしょうか。
それにどれだけの意義があるかは別問題として。