Modal Logics for Mobile Processes Revisited.

Tiange Liu Alwen Tiu Jim de Groot

Published in: CONCUR (2023)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
mobile phone
nonmonotonic logics
epistemic logic
mobile devices
mobile learning
classical logic
default logic
mobile applications
model checking
mobile users
propositional logic
description logics
autoepistemic logic
reinforcement learning