Translating Classical Probability Logics into Modal Fuzzy Logics.
Paolo BaldiPetr CintulaCarles NogueraPublished in: EUSFLAT Conf. (2019)
Keyphrases
- modal logic
- expressive power
- nonmonotonic logics
- valued logic
- inference rules
- classical logic
- propositional calculus
- proof theory
- fuzzy sets
- epistemic logic
- temporal logic
- horn logic
- probability distribution
- conditional logic
- modal operators
- evolutionary algorithm
- coalition logic
- database
- fuzzy set theory
- fuzzy rules
- model checking
- bayesian networks
- propositional dynamic logic
- quantum computation