"Modellar Klassifikatsiyasi" ning umumiy ko'rinishi- "Modellar Klassifikatsiyasi" atamasi modal mantiq tillarini sintaktik va semantik xususiyatlariga ko'ra tasniflashni anglatadi. Bu matematik mantiqning har xil turdagi modal mantiqlar orasidagi mantiqiy munosabatlarni o'rganadigan bo'limidir