...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >On deontic action logics based on Boolean algebra
【24h】

On deontic action logics based on Boolean algebra

机译：基于布尔代数的灵巧动作逻辑

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

摘要

The aim of this article is to provide a metalogical systematization in the area of deontic action logic based on Boolean algebra. Differences among the systems involve two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of obligation in these systems are unacceptable due to their non-intuitive interpretation or paradoxical consequences. As a solution we propose a minimal axiomatic charac
机译：本文的目的是在基于布尔代数的道义行动逻辑领域中提供一个元系统化。系统之间的差异涉及两个方面：义务动作逻辑的封闭程度和根本不执行任何动作的可能性。还表明，由于这些系统的非直观解释或悖论性后果，现有的义务定义是不可接受的。作为解决方案，我们提出了最小公理特性

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号