In contrast, indicative conditionals, sometimes known as non-material conditionals, attempt to describe if-then reasoning involving hypotheticals, fictions, or counterfactuals.
en.wikipedia.org Pic is a procedural programming language, with variable assignment, macros, conditionals, and looping.
en.wikipedia.org Others still have turned to relevance logic to supply a connection between the antecedent and consequent of provable conditionals.
en.wikipedia.org Abduction in subjective logic consists of inverting the conditionals and then applying deduction.
en.wikipedia.org The language included loops, subroutines, conditionals, vectors, and matrices.
en.wikipedia.org