A Sequent Calculus for a Modal Logic on Finite Data Trees.

David Baelde, Simon Lunel, Sylvain Schmitz

Browse the full CSL paper archive.