首页    期刊浏览 2024年11月06日 星期三
登录注册

文章基本信息

  • 标题:Modal Logic and the Approximation Induction Principle
  • 本地全文:下载
  • 作者:Maciej Gazda ; Wan Fokkink
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2009
  • 卷号:8
  • 页码:41-50
  • DOI:10.4204/EPTCS.8.4
  • 出版社:Open Publishing Association
  • 摘要:We prove a compactness theorem in the context of Hennessy-Milner logic. It is used to derive a sufficient condition on modal characterizations for the Approximation Induction Principle to be sound modulo the corresponding process equivalence. We show that this condition is necessary when the equivalence in question is compositional with respect to the projection operators.
国家哲学社会科学文献中心版权所有