请使用此url引用或链接到此出版物:http://hdl.handle.net/1854/LU-8688075
- MLA公司
-
范·德普特(Van De Putte)、弗雷德里克(Frederik)和多米尼克·克莱恩(Dominik Klein)。“集合模式和逐点交集:公理化和可决定性。”STUDIA LOGICA工作室第109卷,第1期,2021年,第47–93页,doi:10.1007/s11225-020-09901-6。
- 亚太地区
-
Van De Putte,F.和Klein,D.(2021)。池模式和逐点交集:公理化和可判定性。STUDIA LOGICA工作室,109(1), 47–93. https://doi.org/10.1007/s11225-020-09901-6
- 芝加哥作者日期
-
范·德普特(Van De Putte)、弗雷德里克(Frederik)和多米尼克·克莱恩(Dominik Klein)。2021.“汇集模式和点式交叉”:公理化和可判定性STUDIA LOGICA工作室109 (1): 47–93. https://doi.org/10.1007/s11225-020-09901-6。
- 芝加哥作者日期(所有作者)
-
范·德普特(Van De Putte)、弗雷德里克(Frederik)和多米尼克·克莱恩(Dominik Klein)。2021.“汇聚模式和逐点交集:公理化和可决定性。”逻辑研究109 (1): 47–93. doi:10.1007/s11225-020-09901-6。
- 温哥华
-
1
Van De Putte F,Klein D.Pooling模态和逐点交集:公理化和可判定性。斯图迪亚·洛吉卡。2021;109(1):47–93.
- 电气与电子工程师协会
-
[1]
F.Van De Putte和D.Klein,“池模式和逐点交集:公理化和可判定性”STUDIA LOGICA工作室第109卷,第1期,第47-93页,2021年。
@文章{8688075,abstract={{我们为以Van De Putte和Klein(pooling models and pointwise crossing:semantics,expressivity,and applications)中引入的池模式为特征的逻辑建立了完整性和有限模型属性。我们的规范模型的定义结合了标准技术和所谓的“拼图构造”,我们首先非正式地说明了这一点。然后,我们将其应用于具有池模式的最弱经典逻辑,并研究该技术对强逻辑公理化的潜力,该公理化是通过对模型施加众所周知的框架条件而获得的,author={{Van De Putte,Frederik和Klein,Dominik}},issn={{0039-3215}},日志={{STUDIA LOGICA}},keywords={{科学历史与哲学、逻辑、点交叉、集合模式、经典模态逻辑、完整性、有限模型属性、拼图构造、逻辑}},language={{eng}},数字={{1}},页数={{47--93}},title={{混合模式和逐点交集:公理化和可判定性}},url={{http://doi.org/10.1007/s11225-020-09901-6}},体积={{109}},年份={2021}},}