(logic) A word or phrase which has an invariant logical meaning and which is useful for forming argument forms.

plural of formal logic

plural of logical fallacy

(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

plural of logical language

Used other than figuratively or idiomatically: see logical, language. / (rare) A language designed to allow (or enforce) unambiguous statements; a loglang.

(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.