伊戈尔·塞德拉尔 正则计算序列上具有量化的命题动态逻辑。 （英语） Zbl 07551725号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137, 301-315 (2022).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sedlár}，莱克特。注释计算。科学。13137，301-315（2022；Zbl 07551725） 全文： 内政部
伊戈尔·塞德拉尔 适用于每个人的超内涵逻辑。 （英语） 兹比尔1506.03072 合成 198，编号21933-956（2021）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sedlár}，Synthese综合198，No.2，933--956（2021；Zbl 1506.03072） 全文： 内政部
潘奇阿，维特;伊戈尔·塞德拉尔 探究命题动态逻辑。 （英语） Zbl 1496.03135号 J.逻辑语言信息。 30，编号1，91-116（2021）.MSC公司：03B70号 03B65号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{V.Punčochář}和\textit{I.Sedlár}，J.Logic Lang.Inf.30，No.1，91-116（2021；Zbl 1496.03135） 全文： 内政部
伊戈尔·塞德拉尔;Ondrej Majer 在亚一致模态逻辑中建模不一致信息的来源。 （英语） Zbl 1469.03052号 Omori，Hitoshi（编辑）等人，关于Belnap-Dunn逻辑的新论文。查姆：斯普林格。合成。伦敦银行同业拆借利率。418, 293-310 (2019).MSC公司：03B45号 03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sedlár}和\textit{O.Majer}，Synth。伦敦银行同业拆借利率。418293-310（2019年；Zbl 1469.03052） 全文： 内政部
伊戈尔·塞德拉尔 亚结构认知逻辑。 （英语） Zbl 1398.03074号 J.应用。非类别。日志。 25，第3期，256-285（2015）.MSC公司：03B42号 03B47号 PDF格式BibTeX公司 XML格式引用 \文本｛I.Sedlár｝，J.Appl。非类别。日志。25，第3号，256-285（2015年；兹bl 1398.03074） 全文： 内政部