Decidability and complexity of fibred logics without shared connectives.

Fri, 01 Jan 2016 00:00:00 +0100

Sérgio Marcelino , Carlos Caleiro :
Decidability and complexity of fibred logics without shared connectives. Log. J. IGPL 24(5): 673-707 (2016)