notre_dame_de_la_garde.jpeg

Axiomatizations for Propositional and Modal Team Logic

  • Martin Lück

Schedule

  • Sept. 1, 2016, 10:30 - 12:30(Modal logic session)

Attachments