Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)'' (Q6639617)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\) |
scientific article; zbMATH DE number 7945602
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)'' |
scientific article; zbMATH DE number 7945602 |
Statements
Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)'' (English)
0 references
15 November 2024
0 references
