A Circular Proof System for the Hybrid μ-Calculus.

Sebastian Enqvist

Published in: AiML (2020)

Keyphrases

sequent calculus
proof search
cut elimination
hough transform
case study
linear time temporal logic
multiscale
expressive power
modal logic
spatial reasoning
linear logic
automated deduction
natural deduction
hybrid approaches
intuitionistic logic