• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Classical term-modal logics
【24h】

Classical term-modal logics

机译：古典术语模态逻辑

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

摘要

We introduce classical term-modal logics and argue that they are useful for modelling agent-relative notions of obligation, evidence and abilities, and their interaction with properties of and relations between the agents in question. We spell out the semantics of these logics in terms of neighborhood models, provide sound and strongly complete axiomatizations and establish the decidability of specific (agent-finite) variants.
机译：我们介绍了经典的术语 - 模态逻辑，并争辩说，他们对建模代理 - 相对概念的义务，证据和能力，以及它们与所讨论的代理人之间的性质和关系的互动。 我们在邻域模型方面阐明了这些逻辑的语义，提供声音和强烈完全的公理化，并建立特定（代理有限）变体的可解锁性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号