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]

Authors

Sérgio Marcelino

This author has not been identified. Look up 'Sérgio Marcelino' in Google

Carlos Caleiro

This author has not been identified. Look up 'Carlos Caleiro' in Google