chateau_d_if.jpeg

A Sequent Calculus for a Modal Logic on Finite Data Trees

  • David Baelde
  • Simon Lunel
  • Sylvain Schmitz

Schedule

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

Attachments