Now showing items 1-1 of 1

    • Reasoning about choice 

      Van Der Hoek W; Troquard N; Wooldridge M (Springer, 2013)
      We present a logic for reasoning about choice. Choice CTL (C-CTL) extends the well-known branching-time temporal logic ctl with choice modalities, "◇" and "□". An example C-CTL formula is ◇ AF happy, asserting that there ...