Tim S. Lyon

新しい手法が記述論理の明示的定義を強化して、より明確な知識の表現を可能にしてるよ。

新しい方法がデータベース理論を使って準密な論理の決定可能性を明らかにした。

テンセロジックにおける証明システムの役割と、それらの相互関係を探ろう。

ソフトウェア論理における不動点方程式への新しいアプローチを発見しよう。