On Modal μ-Calculus and Non-Well-Founded Set Theory.
Luca AlberucciVincenzo SalipantePublished in: J. Philos. Log. (2004)
Keyphrases
- set theory
- transition systems
- partial order
- fuzzy set theory
- modal logic
- first order logic
- rough sets
- boolean algebra
- fuzzy sets
- mathematical morphology
- algebraic geometry
- rough set theory
- tableau calculus
- temporal logic
- description logics
- probability theory
- natural images
- denoising
- probabilistic model
- rough mereology
- data analysis