Describir: Inflationary Fixed Points in Modal Logics