{“@context”：“https:\/\/schema.org\/”，“@type”：“ScholarlyArticle”，“@id”：“#article17332”，“name”：“驯服策略逻辑：非安全片段”，“抽象”：“策略逻辑（简称SL）是在多智能体环境中推理智能体战略能力的主要语言之一。该逻辑使用一阶量词扩展LTL，覆盖代理策略，并包含其他形式，如ATL*和CTL*。SL及其多个片段的模型检验问题已被广泛研究。另一方面，在可满足性方面，情况就不那么清楚了，因为对于完整的逻辑来说，问题是无法确定的。在这项工作中，我们研究了One-Goal SL的两个片段，其中时间操作符中的句子嵌套受到了约束。我们证明了这些逻辑以及ATL*和CTL*的相应片段的可满足性问题分别是ExpSpace和PSpace完备的。“，”keywords“：[”Strategic Reasoning“，”Multi-Agent Systems“，”Temporal Logics“，”Satisfility“]，”author“：[{”@type“：”Person“，”name“：”Benerecetti，Massimo“，”givenName“：”Massimomassimo.generecetti@unina.it“，”sameAs“：”https:\/\/orcid.org\/00000-0003-4664-6061“，”affiliation“：”那不勒斯大学“Federico II”，意大利“}，{“@type”：“Person”，“name”：“Mogavero，Fabio”，“givenName”：“Fabio“，”familyName“：”Mogavera“，”email“：”mailto:“fabio.mogavero@unina.it“，”sameAs“：”https:\/\/orcid.org\/00000-0002-5140-5783“，”affiliation“：”那不勒斯大学“Federico II”，意大利“}，{“@type”：“Person”，“name”：“佩隆，阿德里亚诺”，“givenName”：“阿德里亚no”，“familyName”：”佩隆“，”email“：”mailto:“adrperon@unina.it“，”sameAs“：”https:\/\/orcid.org\/00000-0002-7111-3171“，”affiliation“：”那不勒斯大学“Federico II”，意大利“}]，”position“：14，”pageStart“：“14:1”，”pageEnd“：”14:16“，”dateCreated“：“2022-10-29版权持有人“：[{”@type“：”Person“，”name“：”Benerecetti，Massimo“，”givenName“：”Massimo”，“familyName”：“Benerecett”，“email”：“mailto:”massimo.generecetti@unina.it“，”sameAs“：”https:\/\/orcid.org/0000-0003-4664-6061“，”附属机构“：”那不勒斯大学“费德里科二世”，意大利“}，｛”@type“：”Person“，”name“：”Mogavero，Fabio“，”givenName“：”Fabio“，”familyName“：”Mogavero“，”电子邮件“：”mailto:fabio.mogavero@unina.it“，”sameAs“：”https:\/\/orcid.org\/00000-0002-5140-5783“，”affiliation“：”那不勒斯大学“Federico II”，意大利“}，{“@type”：“Person”，“name”：“佩隆，阿德里亚诺”，“givenName”：“阿德里亚no”，“familyName”：”佩隆“，”email“：”mailto:“adrperon@unina.it“，”sameAs“：”https:\/\/orcid.org\/00000-0002-7111-3171“，”affiliation“：”那不勒斯大学“Federico II”，意大利“}]，”copyrightYear“：”2022“，”accessMode“：”textal“，”assessModeSufficient“：”extual“，”creativeWorkStatus“：”Published“，”inLanguage“：”en-US“，”asmeAs”：“https:\//doi.org\/10.4230\/LIPIcs。《时代周刊》2022.14“，“资助”：“部分由GNCS 2020项目“Ragionamento Strategico e Sintesi Automatica di Sistemi Multi-Agente”支持。“，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”isPartOf“：Artikis，Alexander“，”givenName“：”Alexander.“，”familyName“：“Artikis”，“email”：“mailto:”a.artikis@unipi.gr“，”sameAs“：”https:\/\/orcid.org\/00000-0001-6899-4599“，”affiliation“：”希腊比雷埃夫斯大学和NCSR Demokritos“}，{“@type”：“Person”，“name”：“Posenato，Roberto”，“givenName”：“Roberto“，”familyName“：”Posenatos“，”email“：”mailto:“roberto.posenato@univr.it“，”sameAs“：”https:\/\/orcid.org\/00000-0003-0944-0419“，”affiliation“：”意大利维罗纳大学“}，{“@type”：“Person”，“name”：“Tonetta，Stefano”，“givenName”：“Stefano“，”familyName“：”Tonetta“，”email“：”mailto:“tonettas@fbk.eu“，”sameAs“：”https://\/orcid.org/0000-0001-091-7899“，”附属机构“：”FBK，Italy“｝]，”isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013 Leibniz Zentrum f\u00fcr Informatik“，”hasPart“：”#article17332“，”isPartOf“：｛”@type“：”期刊“，”@id“：”#series116“，”name“：”莱布尼茨国际信息学论文集“，”issn“：”1868-8969“，”isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013莱布尼兹-泽特鲁姆f\u00fcr Informatik“，”hasPart“：“#volume6450”}}“