Independence-friendly modal logic and true concurrency

摘要

We consider modal analogues of Hintikka et al.'s 'independence-friendly first-order logic', and discuss their relationship to equivalences preciously studied in concurrency theory.