Birkhoff style calculi for hybrid logics

研究成果: ジャーナルへの寄稿記事

5 引用 (Scopus)

抜粋

We develop an abstract proof calculus for hybrid logics whose sentences are (hybrid) Horn clauses, and we prove a Birkhoff completeness theorem for hybrid logics in the general setting provided by the institution theory. This result is then applied to particular cases of hybrid logics with user-defined sharing, where the first-order variables in quantified sentences are interpreted uniformly across worlds.

元の言語英語
ページ(範囲)805-832
ページ数28
ジャーナルFormal Aspects of Computing
29
発行部数5
DOI
出版物ステータス出版済み - 9 1 2017

    フィンガープリント

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science

これを引用