Report copyright - Modal Logics for Mobile Ambients - microsoft.com filecomputations we devise a modal logic that can talk about space as well as time, ... are represented by standard parallel composition
Please pass captcha verification before submit form