Mar, 2024

极简联合逻辑

TL;DR基于并发博弈模型的联盟逻辑,包含了三个强假设,而新提出的基于一般并发博弈模型的联盟逻辑则不包含这些假设,并展示了其完备性和与传统联盟逻辑的比较。