Chennai Mathematical Institute


3:30 pm, Seminar Hall
CMI Silver Jubilee Lecture
Modal Independence Logic

Heribert Vollmer
Univ. of Hannover, Germany.


We introduce modal independence logic MIL, a modal logic that can explicitly talk about independence among propositional variables. Formulas of MIL are not evaluated in worlds but in sets of worlds, so called teams. In this vein, MIL can be seen as a variant of V‰‰n‰nen's modal dependence logic MDL. We present results about the expressive power and complexity of satisfiability and model checking of MIL. We demonstrate the expressive power of MIL by giving a specification of the anonymity requirement of the dining cryptographers protocol in MIL.

(Joint work with J. Kontinen, J. M¸ller, H. Schnoor).