Browsing by Subject "Game theory"

DSpace/Manakin Repository

Browsing by Subject "Game theory"

Sort by: Order: Results:

  • Dorfling, Michael Jacobus (1999-02)
    The aim of the thesis is to develop game-theoretic techniques for dealing with common problems in model theory, mainly that of showing logical equivalence between structures, and to illustrate the effectiveness of the ...
  • Van Drimmelen, Govert Cornelis (2003)
    This dissertation describes the solution toa specific logical problem, the satisfiability problem, in a logic of games called Alternating-time Temporal Logic (ATL). Computation Tree Logic (CTL) is a discrete branching-time ...

Search UJDigispace


My Account