Decidability and complexity of fibred logics without shared connectives

Sérgio Marcelino, Carlos Caleiro. Decidability and complexity of fibred logics without shared connectives. Logic Journal of the IGPL, 24(5):673-707, 2016. [doi]

Abstract

Abstract is missing.