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.
|Number of pages||16|
|Journal||Nordic Journal of Computing|
|Publication status||Published - 1 Jun 2002|
- branching quantifiers
- modal logic