Decidability and complexity of fibred logics without shared connectives.

Sérgio Marcelino Carlos Caleiro

Published in: Log. J. IGPL (2016)

Keyphrases

inference rules
expressive power
classical logic
computational complexity
worst case
decision procedures
social networks
lower bound
logic programming
modal logic
space complexity
computational properties
conditional logic
valued logic