• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >A new coalgebraic Lindstrom theorem
【24h】

A new coalgebraic Lindstrom theorem

机译：一个新的联合代数Lindstrom定理

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In a recent article, Alexander Kurz and Yde Venema establish a Lindstrom theorem for coalgebraic modal logic that is shown to imply a modal Lindstrom theorem by Maarten de Rijke. A later modal Lindstrom theorem has been established by Johan van Benthem, and this result still lacks a coalgebraic formulation. The main obstacle has so far been the lack of a suitable notion of 'submodels' in coalgebraic semantics, and the problem is left open by Kurz and Venema. In this article, we propose a solution to this problem and derive a general coalgebraic Lindstrom theorem along the lines of van Benthem's result. We provide several applications of the result.
机译：在最近的一篇文章中，亚历山大·库尔兹（Alexander Kurz）和伊德·韦内玛（Yde Venema）为煤代模态逻辑建立了Lindstrom定理，Maarten de Rijke证明了这暗示了模态Lindstrom定理。约翰·范本瑟姆（Johan van Benthem）建立了后来的模态Lindstrom定理，但该结果仍然缺乏连带形式。到目前为止，主要障碍是在合代语义中缺乏合适的“子模型”概念，而Kurz和Venema仍未解决这个问题。在本文中，我们提出了一个解决该问题的方法，并根据范本思姆的结果推导了一个一般的联合代数Lindstrom定理。我们提供了该结果的几种应用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号