Cut-free completeness for modal mu-calculus.

Bahareh Afshari Graham E. Leigh

Published in: LICS (2017)

Keyphrases

modal logic
data quality
database
databases
video sequences
development environment
automated deduction
neural network
machine learning
decision trees
expert systems
algebraic structure
computer algebra