Bradfield, JulianJulianBradfieldFröschle, Sibylle B.Sibylle B.Fröschle2021-12-202021-12-202002-02-01Electronic Notes in Theoretical Computer Science 52 (1): 32-45 (2002-02-01)http://hdl.handle.net/11420/11326We consider modal analogues of Hintikka et al.'s 'independence-friendly first-order logic', and discuss their relationship to equivalences previously studied in concurrency theory.en1571-0661Electronic notes in theoretical computer science200213245Elsevier Sciencehttps://creativecommons.org/licenses/by-nc-nd/3.0/Branching quantifiersConcurrencyIndependenceModal logicInformatikOn logical and concurrent equivalencesConference Paper10.15480/882.404710.1016/S1571-0661(04)00215-410.15480/882.4047Other