€μ-Logics - Propositional Logics with Self-Reference and Modalities.
Sebastian BabPublished in: SJTU-TUB Joint Workshop (2008)
Keyphrases
- expressive power
- modal logic
- first order logic
- inference rules
- nonmonotonic logics
- default logic
- conditional logic
- classical logic
- decision procedures
- classical first order logic
- coalition logic
- propositional calculus
- linearly ordered
- propositional logic
- logic programming
- proof theory
- query language
- bayesian networks
- case study
- horn logic
- neural network