On the proof complexity of logics of bounded branching.

Published in: Ann. Pure Appl. Log. (2023)

Keyphrases

expressive power
proof theory
decision procedures
modal logic
databases
proof theoretic
theorem proving
branch and bound
computational complexity
data sets
higher order
worst case
space complexity
genetic algorithm
linear logic
machine learning
propositional calculus
conjunctive query containment