研究者たちは、並行プログラムの検証に最も適したホーア論理の異なるバージョンを比較した。

大学院生たちは、どの義務論的論理の体系が規範的推論を最もよく捉えるかを比較した。

研究者たちは、自然言語の量化の意味論を最もよく表現する述語論理体系を特定するために、いくつかの述語論理体系を比較した。

研究者たちは、どのモデルがシェフの刻み動作を最もよく再現するかを調べるため、刻む動作に基づく複数の論理体系を比較した。

学部院生たちは論理のゼミに備えて、直観主義論理の諸体系を幅広く学んだ。

研究者たちは、自然言語の推論を最もよく表すものを判断するために、いくつかの著名な命題論理体系を比較した。

私たちのゼミでは、時間的推論を最もよくモデル化する複数の記述論理を比較しました。

研究者たちは、命題的態度の意味を最もよくとらえるものを特定するために、いくつかのインテンショナル論理体系を比較した。

セミナーで、学生たちは時間的概念を最もよくモデル化できる様相論理の諸体系を比較した。

哲学のゼミで、日常的な議論をどのように扱うかを確かめるために、いくつかの非形式論理を比較しました。