...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Annals of Pure and Applied Logic >Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions
【24h】

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

机译：命题区间邻域逻辑：可表达性，可判定性和不可判定的扩展

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

摘要

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics (PNL), we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern-Shoham's interval logic HS.
机译：在本文中，我们研究了命题区间邻域逻辑（PNL）的各种表达，我们在线性有序域和一些重要子类上确定了它们的可判定性，并证明了在区间上具有附加模态的PNL扩展的不可判定性关系。总之，我们表明PNL构成了Halpern-Shoham区间逻辑HS的相当可表达且几乎可判定的片段。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号