萨卡劳斯卡特，J。 分支知识和信念的时间-时间逻辑的序列演算：完整性和可判定性。 （英语） Zbl 1266.03027号 岩性。数学。J。 47，第3期，266-276（2007）; 转载自Liet。马特·林克。47，第3期，328-340（2007年）。MSC公司：03B44号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{J.Sakalauskait}，岩性。数学。J.47，第3号，266--276（2007；Zbl 1266.03027） 全文： DOI程序
萨卡劳斯卡特，J。 知识逻辑和过去时间的顺序演算：完整性和可判定性。 （英语） Zbl 1130.03012号 岩性。数学。J。 46，第3期，347-355（2006）; 和留置权。马特·林克。46，第3期，427-437（2006）。MSC公司：03B42号 03B44号 05年3月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Sakalauskait}，岩性。数学。J.46，No.3，347--355（2006；Zbl 1130.03012） 全文： DOI程序
诺格拉，S。;斯科里普卡斯，L。 在时间逻辑S4Dbr上。 （英语） Zbl 1130.03304号 岩性。数学。J。 46，第2期，163-172（2006）; 和谎言。马特·林克。46，第2期，203-214（2006）。MSC公司：03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Norgíla}和\textit{L.Skripkauskas}，岩性。数学。J.46，No.2，163--172（2006；Zbl 1130.03304） 全文： DOI程序
萨卡劳斯卡特，J。 时序演算与时间逻辑和完美回忆知识的分析切割。 （英语） Zbl 1048.03043号 岩性。数学。J。 44，第2期，168-179（2004）和谎言。Mat.Rink 44，No.2，209-224（2004）。MSC公司：05年3月 03B42号 03B44号 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Sakalauskait}，岩性。数学。J.44，No.2，168--179（2004；Zbl 1048.03043） 全文： DOI程序
普利乌什·凯维奇乌斯，R。 一阶线性时序逻辑非周期序列的判定过程。 （英语） 兹比尔1051.03018 岩性。数学。J。 43，第2期，199-209（2003）和谎言。Mat.Rink 43，No.2，240-255（2003）。 审核人：Manuel Ojeda Aciego（马拉加） MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevičius}，石刻。数学。J.43，第2号，199--209（2003；Zbl 1051.03018） 全文： DOI程序
阿隆德里斯，R。 带时隙时序逻辑的Glivenko序列类。 （英语） Zbl 1024.03017号 岩性。数学。J。 42，第3期，219-231（2002）和谎言。马特·林克。42，第3期，277-293（2002年）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}，Lith（利兹）。数学。J.42，No.3，219--231（2002）和Liet。马特·林克。42，第3277-293号（2002年；兹bl 1024.03017） 全文： DOI程序
普利乌什·凯维奇乌斯，R。 关于一阶线性时序逻辑Horn-like片段的完备性和可判定性。 （英语。俄文原件） Zbl 1026.03012号 岩性。数学。J。 41，第4期，373-383（2001）; Liet的翻译。马特·林克。41，第4期，477-492（2001年）。MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevičius}，石刻。数学。J.41，No.4，373--383（2001；Zbl 1026.03012）；Liet的翻译。马特·林克。41，第477-492号（2001年） 全文： DOI程序
普利乌什·凯维奇乌斯，R。 一阶线性时序逻辑的限制序列的欧米伽规则的有效可替换性。 （英语。俄文原件） Zbl 1019.03013号 岩性。数学。J。 41，第3期，266-281（2001）; Liet的翻译。马特·林克。41，第3期，338-361（2001）。MSC公司：03B44号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevičius}，石刻。数学。J.41，No.3，266--281（2001；Zbl 1019.03013）；Liet的翻译。马特·林克。41，第3号，338--361（2001） 全文： DOI程序
普利乌什·凯维奇乌斯，R。 一阶线性时序逻辑的限制序列的无循环规则的无限微积分。 （英语。俄文原件） 兹伯利0980.03014 岩性。数学。J。 40，第4期，379-388（2000）; Liet的翻译。马特·林克。40，第4期，493-507（2000）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevičius}，石刻。数学。J.40，No.4，379--388（2000；Zbl 0980.03014）；Liet的翻译。马特·林克。40，第4号，493--507（2000） 全文： DOI程序
R·阿隆德里斯。 带时间间隔的直觉时序逻辑序列演算的循环规则的专门化。 （英语） Zbl 0980.03013号 岩性。数学。J。 40，编号4，310-328（2000）和谎言。马特·林克。40，第4期，404-429（2000年）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}，Lith（利兹）。数学。J.40，No.4，310-328（2000）和Liet。马特·林克。40，第4号，404--429（2000；Zbl 0980.03013） 全文： DOI程序
阿隆德里斯，R。 时间间隔时序逻辑的实证理论研究。 （英语） Zbl 0971.03021号 岩性。数学。J。 40，第3期，197-212（2000）和谎言。马特·林克。40，第3期，255-276（2000）。 审核人：Manuel Ojeda Aciego（马拉加） MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}，Lith（利兹）。数学。J.40，No.3，197--212（2000）和Liet。马特·林克。40，编号3，255-276（2000年；Zbl 0971.03021） 全文： DOI程序
普利乌什·凯维奇乌斯，R。 限制一阶线性时态逻辑的无限微积分，不压缩量化公式。 （英语。俄文原件） Zbl 0957.03026号 岩性。数学。J。 39，第3期，301-314（1999）; Liet的翻译。马特·林克。39，第3期，378-397（1999年）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevičius}，石刻。数学。J.39，第3号，301-314（1999；Zbl 0957.03026）；Liet的翻译。马特·林克。39，第3期，378-397页（1999年） 全文： DOI程序