高级搜索
1个文件| 379.96 KB 添加到列表

经典模态逻辑

(2021)逻辑与计算杂志. 31(4).第1026-1054页
作者
组织
摘要
我们引入了经典的术语模态逻辑,并认为它们有助于建模与主体相关的义务、证据和能力的概念,以及它们与相关主体的性质和关系的相互作用。我们从邻域模型的角度阐述了这些逻辑的语义,提供了合理且强完整的公理化,并建立了特定(代理有限)变体的可判定性。
关键词
理论计算机科学,硬件和架构,逻辑,软件,艺术与人文(杂项),选择

下载

  • (…).pdf格式
    • 全文(已发布版本)
    • |
    • 仅UGent
    • |
    • PDF格式
    • |
    • 379.96 KB

引用

请使用此url引用或链接到此出版物:

MLA公司
弗里杰特斯、斯特夫和弗雷德里克·范德普特。“经典Term-Modal Logics。”逻辑与计算杂志,第31卷,2021年第4期,第1026–54页,doi:10.1093/log/exaa053。
亚太地区
Frijters,S.和Van De Putte,F.(2021)。经典模态逻辑。逻辑与计算杂志,31(4), 1026–1054. https://doi.org/10.1093/log.com/exaa053
芝加哥作者日期
弗里杰特斯、斯特夫和弗雷德里克·范德普特。2021.“经典Term-Modal Logics”逻辑与计算杂志31 (4): 1026–54. https://doi.org/10.1093/log.com/exaa053。
芝加哥作者日期(所有作者)
弗里杰特斯、斯特夫和弗雷德里克·范德普特。2021.“经典Term-Modal Logics”逻辑与计算杂志31 (4): 1026–1054. doi:10.1093/log.com/exaa053。
温哥华
1
Frijters S,Van De Putte F.经典术语模式逻辑。逻辑与计算杂志。2021;31(4):1026–54.
美国电气工程师协会
[1]
S.Frijters和F.Van De Putte,“经典术语模态逻辑”逻辑与计算杂志第31卷,第4期,第1026–1054页,2021年。
@第{8678415条,摘要={{我们介绍了经典的术语模式逻辑,并认为它们有助于建模与主体相关的义务、证据和能力的概念,以及它们与所讨论主体的属性和关系的交互。我们用邻域模型阐明了这些逻辑的语义,提供了一个完善的xiomatization并建立特定(代理有限)变体的可判定性。}},articleno={{exaa053}},author={{Frijters,Stef和Van De Putte,Frederik}},issn={{0955-792X}},journal={{逻辑与计算杂志}},keywords={{理论计算机科学、硬件与架构、逻辑、软件、艺术与人文(杂项)、CHOICE}},language={{eng}},location={中华人民共和国杭州}},数字={{4}},pages={{exaa053:1026--exaa053:1054}},title={{经典术语模态逻辑}},url={{http://doi.org/10.1093/log.com/exaa053}},体积={{31}},年份={2021}},}
海拔高度
在Altmetric中查看
科学网
引用次数: