伊凡·查伊达;简·帕塞卡 部分动态De Morgan代数的De Morgen否定和集合表示的基于偏序集的逻辑。 (英语) Zbl 1429.03073号 J.穆特-有效日志。软计算。 31,第3期,213-237(2018).MSC公司:03B44号 03B50号 03G20年 PDF格式BibTeX公司 XML格式引用 \textit{I.Chajda}和\textit{J.Paseka},J.Mult-有效日志。软计算。31,第3号,213--237(2018;Zbl 1429.03073) 全文: 链接
法沙德·纳汉吉;埃斯拉米、埃斯凡迪亚尔;阿尔沙姆·博鲁曼德·赛义德 剩余格上的时态运算符“until”和“since”。 (英语) Zbl 1398.03210号 J.穆特-有效日志。软计算。 29,编号3-4,275-302(2017).MSC公司:03G10年 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Nahangi}等人,J.Mult-有效日志。软计算。29、编号3--4、275--302(2017;Zbl 1398.03210) 全文: 链接
大卫·布雷索林;费尔南多·吉梅内斯;格拉西亚·桑切斯;圭多·西亚维科 多目标元启发式区间时序逻辑公式的有限可满足性。 (英语) Zbl 1400.68196号 J.穆特-有效日志。软计算。 28,编号2-3,217-249(2017).MSC公司:68T20型 03B44号 90C29型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,J.Mult-有效日志。软计算。28、编号2--3、217--249(2017;Zbl 1400.68196) 全文: 链接
伊凡·查伊达;简·帕塞卡 带时态算子的De Morgan代数。 (英语) Zbl 1398.06008号 J.穆特-有效日志。软计算。 28,第1号,29-45(2017).MSC公司:06时30分 03G10年 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.Chajda}和\textit{J.Paseka},J.Mult-有效日志。软计算。28、第1号、第29-45号(2017;Zbl 1398.06008) 全文: 链接
明·柴;施林格洛夫,伯恩德·霍尔格 使用五值LTL进行系统监控。 (英语) Zbl 1394.68226号 J.穆特-有效日志。软计算。 26号1-2、33-54(2016).MSC公司:60年第68季度 03B44号 03B50号 68米14 PDF格式BibTeX公司 XML格式引用 \textit{M.Chai}和\textit{B.-H.Schlingloff},J.Mult-有效日志。软计算。26、编号1--2、33-54(2016;Zbl 1394.68226) 全文: 链接