Affiliation:
1. Institute of Mathematics for Industry, Kyushu University, Fukuoka, Japan
Abstract
Abstract
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.
Funder
Ministry of Education, Culture, Sports, Science, and Technology (JP)
Publisher
Association for Computing Machinery (ACM)
Subject
Theoretical Computer Science,Software
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献