@第{zbMATH05203830条,作者={van der Hoek,Wiebe and Wooldridge,Michael},Title={关于合作逻辑和命题控制},FJournal={人工智能},日志={Artif.Intern.},ISSN={0004-3702},体积={164},数字={1-2},页码={81--119},年份={2005},语言={英语},DOI={10.1016/j.artint.2005.01.003},关键词={68T27},zbMATH={5203830},Zbl={1132.68744}}