Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics. In Matthias Baaz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings. Volume 2514 of Lecture Notes in Computer Science, pages 175-189, Springer, 2002. [doi]
Abstract is missing.