# Decidability of interpretability logics ILM0 and ILW*

> Research article (Logic Journal of IGPL, 2017) · cited 14× · AI/ML

**Wikidata**: [openalex:W2754631492](https://www.wikidata.org/wiki/openalex:W2754631492)  
**Source**: https://4ort.xyz/entity/decidability-of-interpretability-logics-ilm0-and-ilw