塞巴斯蒂安·恩奎斯特 混合微积分的循环证明系统。 （英语） Zbl 07585713号 Olivetti，Nicola（编辑）等人，《模态逻辑的进展》。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24日至28日。伦敦：学院出版物。169-188 (2020).MSC公司：03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}，in：模态逻辑的进展。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24-28日。伦敦：学院出版物。169-188（2020年；Zbl 07585713） 全文： arXiv公司
塞巴斯蒂安·恩奎斯特 具有逆向模态的平面模态不动点逻辑。 （英语） Zbl 1444.03051号 J.日志。计算。 28，第6号，1065-1097（2018）。MSC公司：03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}，J.Log。计算。28，编号61065-1097（2018；兹bl 1444.03051） 全文： 内政部 arXiv公司
塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马，伊德 模态演算的完备性：从动力学中分离组合学。 （英语） Zbl 1391.68077号 西奥。计算。科学。 727, 37-100 (2018)。MSC公司：60年第68季度 03B45号 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Enqvist｝等人，Theor。计算。科学。727，37--100（2018；Zbl 1391.68077） 全文： 内政部
塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马，伊德 代数不动点逻辑的完备性。 （英语） Zbl 1370.03085号 Regnier，Laurent（编辑）等人，2016年8月29日至9月1日，法国马赛CSL’16，第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-022-4）。LIPIcs–莱布尼茨国际信息学学报62，第7条，第19页。(2016).MSC公司：03G30型 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}等人，LIPIcs——莱布尼茨国际程序。通知。62，第7条，第19页（2016；Zbl 1370.03085） 全文： 内政部