Correction to: ``Decidability of interpretability logics ILM₀ and ILW^*

DOI10.1093/JIGPAL/JZAD020MaRDI QIDQ6639617zbMATH OpenFDO

Authors Luka Mikec, Tin Perkov, Mladen Vuković

Publication date 15 November 2024

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAD020

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6639617)