Back Hoare-Kalkül German Hoare logic English Lógica de Hoare Spanish Logique de Hoare French Logica di Hoare Italian ホーア論理 Japanese 호어 논리 Korean Logika Hoare’a Polish Lógica de Hoare Portuguese Логика Хоара Russian
Hoarelogica is een formele logica die in de informatica wordt gebruikt om over programma's te redeneren. Ze is vernoemd naar de bedenker van de basis van het mechanisme, Tony Hoare.