Modal Logics for Mobile Processes.

Robin Milner Joachim Parrow David Walker

Published in: Theor. Comput. Sci. (1993)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
context aware
mobile learning
situation calculus
mobile phone
classical logic
mobile applications
mobile devices
mobile users
default logic
model checking
autoepistemic logic