请使用此url引用或链接到此出版物:http://hdl.handle.net/1854/LU-8678415
- 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}},}