Correction to: Decidability of interpretability logics IL `M`0 and IL `W`*

IF 0.6 4区数学 Q2 LOGIC

Logic Journal of the IGPL Pub Date : 2023-09-14 DOI:10.1093/jigpal/jzad020

Luka Mikec, Tin Perkov, Mladen Vukoviĉ

引用次数: 0

Abstract

Journal Article Correction to: Decidability of interpretability logics ILM0 and ILW* Get access Luka Mikec, Luka Mikec University of Zagreb Search for other works by this author on: Oxford Academic Google Scholar Tin Perkov, Tin Perkov University of Zagreb E-mail: tin.perkov@ufzg.hr Search for other works by this author on: Oxford Academic Google Scholar Mladen Vukoviĉ Mladen Vukoviĉ University of Zagreb Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, jzad020, https://doi.org/10.1093/jigpal/jzad020 Published: 14 September 2023 Article history Received: 07 September 2023 Published: 14 September 2023

查看原文本刊更多论文

修正:可解释性逻辑IL M0和IL W*的可判决性

期刊文章更正:可解释性逻辑ILM0和ILW的可决定性*访问Luka Mikec, Luka Mikec萨格勒布大学搜索本作者的其他作品:牛津学术谷歌学者Tin Perkov, Tin Perkov萨格勒布大学E-mail: tin.perkov@ufzg.hr搜索本作者的其他作品:牛津学术谷歌学者Mladen vukovii Mladen vukovii萨格勒布大学搜索本作者的其他作品:牛津学术谷歌学者逻辑IGPL期刊，jzad020, https://doi.org/10.1093/jigpal/jzad020发布日期:2023年9月14日文章历史收稿日期:2023年9月07日发布日期:2023年9月14日

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Logic Journal of the IGPL 数学-数学

CiteScore

2.60

自引率

10.00%

发文量

审稿时长

6-12 weeks

期刊介绍： Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering. Logic Journal of the IGPL is published under licence from Professor Dov Gabbay as owner of the journal.

Correction to: Decidability of interpretability logics IL M0 and IL W*

Abstract

Correction to: Decidability of interpretability logics IL `M`0 and IL `W`*