米娜·杨·佩德森;玛丽亚·斯拉夫科维奇;斯梅茨，索尼娅 社会机器人检测是一个时态逻辑模型检查问题。 （英语） Zbl 07547767号 Ghosh，Sujata（编辑）等人，《逻辑、理性与互动》。第八届国际研讨会，LORI 2021，中国西安，2021年10月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13039, 158-173 (2021).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Pedersen}等人，Lect。注释计算。科学。13039，158--173（2021；Zbl 07547767） 全文： 内政部
米娜·杨·佩德森;斯梅茨，索尼娅;托马斯·奥戈特内斯 模态逻辑与群极化。 （英语） Zbl 07451585号 J.日志。计算。 31,8号，2240-2269（2021）.MSC公司：03月XX日 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Pedersen}等人，J.Log。计算。31，第8号，2240--2269（2021；Zbl 07451585） 全文： 内政部
米娜·杨·佩德森;斯梅茨，索尼娅;托马斯·奥戈特内斯 迈向社交网络两极分化逻辑的进一步步骤。 （英语） Zbl 07578376号 Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，中国杭州，2020年4月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 324-345 (2020).MSC公司：03B70号 03B45号 91第30页 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Pedersen}等人，Lect。注释计算。科学。12061，324--345（2020；Zbl 07578376） 全文： 内政部
米娜·杨·佩德森;斯梅茨，索尼娅;托马斯·奥戈特内斯 分析回声室：强弱联系的逻辑。 （英语） Zbl 07160610号 帕特里克·布莱克本（编辑）等人，《逻辑、理性与互动》。第七届国际研讨会，LORI 2019，中国重庆，2019年10月18日至21日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。11813, 183-198 (2019).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Pedersen}等人，Lect。注释计算。科学。11813、183--198（2019；Zbl 07160610） 全文： 内政部