Expressiveness of the modal mu-calculus on monotone neighborhood structures.
Sebastian EnqvistFatemeh SeifanYde VenemaPublished in: CoRR (2015)
Keyphrases
- expressive power
- transition systems
- modal logic
- computational properties
- relational calculus
- provably correct
- upper bound
- development environment
- data sets
- nonlinear complementarity problem
- database query languages
- sequent calculus
- anti monotone
- algebraic structure
- nonmonotonic logics
- boolean functions
- database systems
- case study
- information systems
- artificial intelligence
- learning algorithm
- databases