Modal Independence Logic

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor +1

This paper introduces modal independence logic MIL, a modal logic that can explicitly talk about independence among propositional variables. Formulas of MIL are not evaluated in wo…