修正:可解释性逻辑IL M0和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ĉ

{"title":"修正:可解释性逻辑IL M0和IL W*的可判决性","authors":"Luka Mikec, Tin Perkov, Mladen Vukoviĉ","doi":"10.1093/jigpal/jzad020","DOIUrl":null,"url":null,"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","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"116 1","pages":"0"},"PeriodicalIF":0.6000,"publicationDate":"2023-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Correction to: Decidability of interpretability logics <b>IL</b> <tt>M</tt>0 and <b>IL</b> <tt>W</tt>*\",\"authors\":\"Luka Mikec, Tin Perkov, Mladen Vukoviĉ\",\"doi\":\"10.1093/jigpal/jzad020\",\"DOIUrl\":null,\"url\":null,\"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\",\"PeriodicalId\":51114,\"journal\":{\"name\":\"Logic Journal of the IGPL\",\"volume\":\"116 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2023-09-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Logic Journal of the IGPL\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1093/jigpal/jzad020\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logic Journal of the IGPL","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1093/jigpal/jzad020","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

期刊文章更正:可解释性逻辑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日

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

查看原文本刊更多论文

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

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

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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.