Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting

Open in new window