请使用此url引用或链接到此出版物：http://hdl.handle.net/1854/LU-8746786
- MLA公司
-
Pawlowski、Pawel和Elio La Rosa。“T、TB、S4、S5和更多的模块化非确定性语义。”逻辑与计算杂志第32卷，第1期，2022年，第158-71页，doi:10.1093/log.com/exab079。
- 亚太地区
-
Pawlowski，P.和La Rosa，E.（2022）。T、TB、S4、S5等的模块化非确定性语义。逻辑与计算杂志，32(1), 158–171. https://doi.org/10.1093/log.com/exab079
- 芝加哥作者日期
-
Pawlowski、Pawel和Elio La Rosa。2022.“T、TB、S4、S5及更多模块化非确定性语义”逻辑与计算杂志32（1）：158–71。https://doi.org/10.1093/log.com/exab079。
- 芝加哥作者日期（所有作者）
-
Pawlowski、Pawel和Elio La Rosa。2022.“T、TB、S4、S5及更多模块化非确定性语义”逻辑与计算杂志32（1）：158–171。doi:10.1093/log.com/exab079。
- 温哥华
-
1
Pawlowski P、La Rosa E.T、TB、S4、S5等的模块化非确定性语义。逻辑与计算杂志。2022;32(1):158–71.
- 电气与电子工程师协会
-
[1]
P.Pawlowski和E.La Rosa，“T、TB、S4、S5等的模块化非确定性语义”逻辑与计算杂志第32卷，第1期，第158-171页，2022年。
@第{8746786条，abstract={{本文开发了一种用于（非正规）模态逻辑的非确定性语义的模块化方法。特别是，我们的目标是改进和重新解释Omori和Shirt（2016，IfCoLog J.logics Appl.，3，815-845）以及Coniglio等人（2015，J.Appl.non-Class.Log.，25，20-45）的一些结果关于模态系统T、TB、S4和S5。更经济的公理化使必要性规则模块化，从而为所有研究系统的（NEC）自由片段提供非确定性语义。此外，通过固定除语气词外的所有连接词的解释，在它们的矩阵上提供了一个组合观，从而实现了一个新的语气系统，并简化了T和S4的语气系统，作者={{Pawlowski，Pawel and La Rosa，Elio}}，issn={{0955-792X}}，journal={{逻辑与计算杂志}}，关键词={{模态语义，逻辑}}，language＝｛｛eng｝｝，数字={{1}}，页数={{158--171}}，title={{T、TB、S4、S5及更多的模块化非确定性语义}}，url={{http://doi.org/10.1093/log.com/exab079}},体积={{32}}，年份={2022}}，}
