Contributions to Proceedings:

B. Lellmann, T. Dalmonte et al.:
"Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics";
in: "Logical Foundations of Computer Science - International Symposium, {LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings", 11972; S. Artemov et al. (ed.); Springer International Publishing, 2020, ISBN: 978-3-030-36754-1, 27 - 46.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.