研究者たちは、計算木論理（分岐時間の特定のモーダル論理で「次」「常に」「最終的に／やがて」「until」「弱いuntil」といった演算子を持つ）を用いて、分散プロトコルがあらゆる可能な実行経路で最終的に合意に達することを検証した。

技術者は装置を最適化するために、組み合わせ論理回路を実装するための一種のプログラマブル論理アレイを使用した。

研究者たちは、新しいデジタル信号処理装置の試作にプログラマブル論理配列を使用し、完全なカスタムASIC設計に踏み切る前に検証しました。

設計チームはタイミング要件を満たすためにフロントエンド回路に、過ドライブされたBJT差動増幅器を単一終端入力で用いることで高速動作を実現する論理ファミリを採用し、その高速特性を活用した。

その技術者は故障を診断するために論理に基づく機械部品を分析した。

セミナーでは、表現力と限界を理解するために、さまざまな時相論理を検討しました。

ゼミでは、学生たちは形式的推論をより深く理解するために、異なる種類の記号論理学の歴史的展開を比較した。

研究者たちは、計算をモデル化する上で最も表現力があるものを見極めるために、いくつかの数理論理学の体系を比較した。

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

研究者たちは異なる量子論理を比較して、どの枠組みが絡み合いを最もよくモデル化するかを判断した。