#logical model #symbolic model #rule-based system #mathematical logic #formal system #theoretical model