Abstract This project focused on 𝜃-filters in ADL and characterize it in terms of almost distributive lattice congruence. A 𝜃-Prime filters are also characterized in terms of prime filters, 𝜃-filters and prime –𝜃 ...