The noun Hoare logic can be countable or uncountable.
The singular form of Hoare logics is Hoare logic.