Independence-friendly logic

Independence-friendly logic (IF logic) is a type of logical framework that extends classical propositional logic and first-order logic by allowing for the expression of certain forms of independence among variables or propositions. It was introduced by the philosopher and logician Johan van Benthem in the context of epistemic and modal logic.