{"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}
引用次数: 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
期刊介绍：
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
