Coalgebraic Logics (Dagstuhl Seminar 12411).
Ernst-Erich DoberkatAlexander KurzPublished in: Dagstuhl Reports (2012)
Keyphrases
- expressive power
- modal logic
- classical logic
- inference rules
- propositional calculus
- epistemic logic
- conditional logic
- collaborative e learning
- propositional dynamic logic
- proof theory
- multiscale
- data mining
- data sets
- fuzzy logic
- evolutionary algorithm
- propositional logic
- artificial neural networks
- natural language
- information systems
- real time