Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer. Modal Inclusion Logic: Being Lax is Simpler than Being Strict. In Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella, editors, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Volume 9234 of Lecture Notes in Computer Science, pages 281-292, Springer, 2015. [doi]
Abstract is missing.