A circular proof system for the hybrid mu-calculus.

Sebastian Enqvist

Published in: CoRR (2020)

Keyphrases

hough transform
modal logic
sequent calculus
cut elimination
database
hybrid learning
algebraic structure
proof search
data sets
linear logic
linear time temporal logic
harmonic functions