Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 102-117 |
| Number of pages | 16 |
| Journal | Nordic Journal of Computing |
| Volume | 9 |
| Issue number | 2 |
| Publication status | Published - 1 Jun 2002 |
Keywords / Materials (for Non-textual outputs)
- branching quantifiers
- concurrency
- modal logic
- independence