首页    期刊浏览 2024年12月01日 星期日
登录注册

文章基本信息

  • 标题:Named Models in Coalgebraic Hybrid Logic
  • 作者:Lutz Schr{\"o}der ; Dirk Pattinson
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2010
  • 卷号:5
  • 页码:645-656
  • DOI:10.4230/LIPIcs.STACS.2010.2492
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given functor, thus covering a wide range of reasoning principles including, e.g., probabilistic, graded, default, or coalitional operators. Specifically, we establish generic criteria for a given coalgebraic hybrid logic to admit named canonical models, with ensuing completeness proofs for pure extensions on the one hand, and for an extended hybrid language with local binding on the other. We instantiate our framework with a number of examples. Notably, we prove completeness of graded hybrid logic with local binding.
  • 关键词:Logic in computer science; semantics; deduction; modal logic; coalgebra
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有