Now showing items 1-4 of 1

    alternating-time temporal logics (1)
    backward modalities (1)
    game logics (1)
    strategic reasoning (1)