Complexity of Propositional Independence and Inclusion Logic

Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer. Complexity of Propositional Independence and Inclusion Logic. 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 269-280, Springer, 2015. [doi]

Abstract

Abstract is missing.