Fraïssé-Hintikka theorem in institutions

Daniel Gaina, Tomasz Kowalski

研究成果: ジャーナルへの寄稿学術誌査読

1 被引用数 (Scopus)

抄録

We generalize the characterization of elementary equivalence by Ehrenfeucht-Fraïssé games to arbitrary institutions whose sentences are finitary. These include many-sorted first-order logic, higher-order logic with types, as well as a number of other logics arising in connection to specification languages. The gain for the classical case is that the characterization is proved directly for all signatures, including infinite ones.

本文言語英語
ページ(範囲)1377-1399
ページ数23
ジャーナルJournal of Logic and Computation
30
7
DOI
出版ステータス出版済み - 10月 1 2020

!!!All Science Journal Classification (ASJC) codes

  • ソフトウェア
  • 理論的コンピュータサイエンス
  • 人文科学(その他)
  • ハードウェアとアーキテクチャ
  • 論理

フィンガープリント

「Fraïssé-Hintikka theorem in institutions」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル