Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus.

Bahareh Afshari Graham E. Leigh Guillermo Menéndez Turata

Published in: TABLEAUX (2021)

Keyphrases

modal logic
natural deduction
real time
search engine
clustering method
decision procedures
linear interpolation
computer algebra
formal proof