Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing.

Tikhon Pshenitsyn

Published in: CoRR (2023)

Keyphrases

modal logic
classical logic
learning algorithm
computational complexity
worst case
video streams
defeasible logic
reasoning about actions
decision problems
noise reduction
automated reasoning
multi valued
logical framework