Options
On logical and concurrent equivalences
Citation Link: https://doi.org/10.15480/882.4047
Publikationstyp
Conference Paper
Publikationsdatum
2002-02-01
Sprache
English
Enthalten in
Volume
52
Issue
1
Start Page
32
End Page
45
Citation
Electronic Notes in Theoretical Computer Science 52 (1): 32-45 (2002-02-01)
Publisher DOI
Scopus ID
Publisher
Elsevier Science
We consider modal analogues of Hintikka et al.'s 'independence-friendly first-order logic', and discuss their relationship to equivalences previously studied in concurrency theory.
Schlagworte
Branching quantifiers
Concurrency
Independence
Modal logic
DDC Class
004: Informatik
More Funding Information
The rst author is supported by EPSRC Advanced Research Fellowship AF/100690; the second author is supported by EPSRC Research Grant GR/M84763 'Dimensions of Concurrency'.
Publication version
publishedVersion
Loading...
Name
1-s2.0-S1571066104002154-main.pdf
Size
325.71 KB
Format
Adobe PDF