伯恩德·芬克贝纳;斯文·舍韦 协调逻辑。 （英语） Zbl 1287.03070号 Dawar，Anuj（编辑）等人，《计算机科学逻辑》。第24届国际研讨会，CSL 2010，EACSL第19届年会，2010年8月23日至27日，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15204-7/pbk）。计算机科学课堂讲稿6247305-319（2010）。 摘要：我们引入了协调逻辑（CL），这是一种新的时态逻辑，用于解释分布式系统中行为和信息之间的相互作用。CL为分布式可实现性问题提供了逻辑表示，并扩展了基于游戏的时态逻辑，包括交替时间时态逻辑、策略逻辑和游戏逻辑，对不完全信息下的策略进行了量化。我们证明了量词嵌套产生的CL结构足以保证逻辑的可判定性，同时也足够通用，可以包含和扩展分布式可实现性问题的所有已知可判定情况。关于整个系列，请参见[Zbl 1194.68023号]. 引用于9文件 MSC公司： 03B70号 计算机科学中的逻辑 03B44号 时间逻辑 68米14 分布式系统 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{S.Schewe}，Lect。注释计算。科学。6247305-319（2010年；Zbl 1287.03070） 全文： 内政部