Decidability and complexity of fibred logics without shared connectives
Marcelino, Sérgio, Caleiro, CarlosVolume:
24
Language:
english
Journal:
Logic Journal of IGPL
DOI:
10.1093/jigpal/jzw033
Date:
October, 2016
File:
PDF, 538 KB
english, 2016