Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs.

Stepan L. Kuznetsov

Published in: TABLEAUX (2021)

Keyphrases

natural deduction
linear complexity
exponential size
computational complexity
transition systems
reinforcement learning
multi valued
average case complexity
modal logic
reasoning about actions
action theories
proof search
cut elimination
equational theories