The Propositional Mu-Calculus is Elementary.
Robert S. StreettE. Allen EmersonPublished 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