Baelde, David; Lick, Anthony; Schmitz, Sylvain A hypersequent calculus with clusters for linear frames. (English) Zbl 1418.03066 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 43-62 (2018). MSC: 03B45 03F03 03F20 PDF BibTeX XML Cite \textit{D. Baelde} et al., in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 43--62 (2018; Zbl 1418.03066)
Baelde, David; Lunel, Simon; Schmitz, Sylvain A sequent calculus for a modal logic on finite data trees. (English) Zbl 1370.03043 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 32, 16 p. (2016). MSC: 03B70 03B45 03F05 68P05 68Q25 PDF BibTeX XML Cite \textit{D. Baelde} et al., LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 32, 16~p. (2016; Zbl 1370.03043) Full Text: DOI