Mixed algebras and their logics.
Ivo DüntschEwa OrlowskaTinko TinchevPublished in: J. Appl. Non Class. Logics (2017)
Keyphrases
- expressive power
- modal logic
- inference rules
- classical logic
- relation algebra
- computational properties
- temporal reasoning
- expert systems
- neural network
- multi agent
- artificial intelligence
- machine learning
- data sets
- decision procedures
- conditional logic
- epistemic logic
- proof theory
- boolean algebra
- propositional calculus
- real time