Keyphrases
- expressive power
- modal logic
- mobile agents
- propositional dynamic logic
- mobility patterns
- mobile networks
- propositional calculus
- proof theory
- mobile users
- inference rules
- classical logic
- coalition logic
- information retrieval
- conditional logic
- temporal logic
- model checking
- mobile phone
- bayesian networks
- case study
- genetic algorithm