Closure Ordinals of the Two-Way Modal µ-Calculus.

Gian Carlo Milanese Yde Venema

Published in: WoLLIC (2019)

Keyphrases

transition systems
modal logic
knuth bendix
term rewriting
computer algebra
sequent calculus
databases
concurrent systems
natural deduction
nonmonotonic logics
database
automated deduction
theorem proving
inference rules
decision trees
genetic algorithm
real world
strictly convex