On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics.

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Browse the full LPAR paper archive.