Independence-friendly Modal Logic and True Concurrency

Julian C. Bradfield, Sibylle B. Fröschle

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Pages (from-to)102-117
Number of pages16
JournalNordic Journal of Computing
Volume9
Issue number2
Publication statusPublished - 1 Jun 2002

Keywords

  • branching quantifiers
  • concurrency
  • modal logic
  • independence

Fingerprint Dive into the research topics of 'Independence-friendly Modal Logic and True Concurrency'. Together they form a unique fingerprint.

Cite this