まあ、論理学者や情報科学者や言語哲学者がやっていることはおおむね重なってはいるんだが(時制論理に限れば、時制を含んだ文の意味を数学的に厳密な表現で記述することを彼らはやっていると言ってもいい)、こうしてできた論理モデルをベースにしてやろうとしていることが異なるという感じ?