What's the plural form of Hoare logic? Here's the word you're looking for.
Answer
The noun Hoare logic can be countable or uncountable.
In more general, commonly used, contexts, the plural form will also be Hoare logic.
However, in more specific contexts, the plural form can also be Hoare logics e.g. in reference to various types of Hoare logics
or a collection of Hoare logics.