罗宾·赫希；布雷特·麦克莱恩 闵可夫斯基时空的时间逻辑。 （英语） Zbl 1522.03046号 Düntsch，Ivo（ed.）等人，阿拉斯代尔·厄克哈特（Alasdair Urquhart），关于非经典和代数逻辑以及证明复杂性。查姆：斯普林格。Outst公司。控制日志。22, 389-409 (2022).MSC公司：03B44号 03B25号 2017年第68季度 83A05号 PDF格式BibTeX公司 XML格式引用 \textit｛R.Hirsch｝和\textit｛B.McLean｝，Outst。控制日志。22389--409（2022；Zbl 1522.03046） 全文： 内政部 arXiv公司
罗宾·赫希；马克·雷诺兹 二维闵可夫斯基时空的时间逻辑是可判定的。 （英语） Zbl 1502.03006号 J.塞姆。日志。 83，第3期，829-867（2018）.MSC公司：03B44号 83A05号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit｛R.Hirsch｝和\textit｛M.Reynolds｝，J.Symb。日志。83，第3号，829--867（2018；Zbl 1502.03006） 全文： 内政部 arXiv公司
德国、贤治 同时性逻辑。 （英语） Zbl 1171.83302号 国际J.Theor。物理学。 48，第5期，1290-1299（2009）.MSC公司：83A05号 83D05号 PDF格式BibTeX公司 XML格式引用 \textit{K.Tokuo}，国际期刊Theor。物理学。48，第5号，1290--1299（2009；Zbl 1171.83302） 全文： 内政部 arXiv公司