塞巴斯蒂安·恩奎斯特 具有逆向模态的平面模态不动点逻辑。 (英语) Zbl 1444.03051号 J.日志。计算。 28,第6号,1065-1097(2018).MSC公司:03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist},J.Log。计算。28,第6号,1065--1097(2018;Zbl 1444.03051) 全文: DOI程序 arXiv公司
塞巴斯蒂安·恩奎斯特;苏米特·苏拉布 Stone空间上余代数的相互模拟。 (英语) Zbl 1444.03186号 J.日志。计算。 28,第6期,991-1010(2018).MSC公司:03G30型 03B45号 2015年6月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}和\textit{S.Sourabh},J.Log。计算。28,第6号,991--1010(2018;Zbl 1444.03186) 全文: DOI程序 arXiv公司