Keyphrases
- probability theory
- belief functions
- quantum computation
- propositional dynamic logic
- predicate logic
- probability distribution
- belief revision
- modal operators
- computational properties
- sound and complete axiomatization
- subjective probabilities
- finite number
- decision making
- inductive inference
- set theory
- digital circuits
- personality traits
- modal logic
- proof theory
- delay insensitive
- multi agent systems
- data sets
- database