乔里·恩格弗里特;简·特雷尔 最小时间认知逻辑中缺省逻辑的解释。 (英语) Zbl 0921.03037号 J.逻辑语言信息。 7,第3号,369-388(1998)。MSC公司:03B60号 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur},J.Logic Lang.Inf.7,No.3,369--388(1998;Zbl 0921.03037) 全文: 内政部
范德霍克,威比;约翰·朱尔斯·迈耶;简·特雷尔 时间化认知缺省逻辑。 (英语) Zbl 0921.03036号 J.逻辑语言信息。 7,第3号,341-367(1998)。MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}等人,J.Logic Lang.Inf.7,No.3,341--367(1998;Zbl 0921.03036) 全文: 内政部
阿尔贝托·扎纳多 分支时间逻辑中不可分割和不可区分的历史。 (英语) Zbl 0921.03024号 J.逻辑语言信息。 7,第3号,297-315(1998)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zanardo},《逻辑语言汇编》第7卷,第3期,第297-315页(1998年;Zbl 0921.03024) 全文: 内政部