The Propositional Mu-Calculus is Elementary.

Robert S. Streett E. Allen Emerson

Published in: ICALP (1984)

Keyphrases

proof procedure
propositional logic
theorem proving
first order logic
algebraic structure

automated deduction
school children
default logic
development environment
multi valued

knowledge compilation
set theory
probabilistic logic
predicate calculus
autoepistemic logic

computational properties
genetic algorithm
rough sets
learning algorithm