Expressiveness of Positive Coalgebraic Logic.
Krzysztof KapulkinAlexander KurzJiri VelebilPublished in: Advances in Modal Logic (2012)
Keyphrases
- computational properties
- positive and negative
- expressive power
- multi valued
- logic programming
- modal logic
- probabilistic logic
- monadic second order logic
- proof theory
- asynchronous circuits
- classical logic
- data mining
- database
- defeasible logic
- social networks
- dynamic logic
- positively correlated
- artificial intelligence
- logic synthesis