Modal Logics for Mobile Processes.

Robin Milner Joachim Parrow David Walker

Published in: CONCUR (1991)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
mobile phone
nonmonotonic logics
mobile applications
situation calculus
classical logic
default logic
artificial intelligence
mobile devices
context aware
mobile learning
satisfiability problem