plural of Hoare logic

plural of Boolean logic

plural of doxastic logic

plural of symbolic logic

plural of mathematical logic

plural of informal logic

(programming) a case in which a programmer writes viable code that however produces undesired results

Epistemic modal logic, a subfield of modal logic that is concerned with reasoning about knowledge. / Dynamic epistemic logic, a logical framework dealing with knowledge and information change.

plural of logic circuit

a chain of multiple logic gates