Showing 1 - 7 results of 7 for search 'Gerbrandy, Jelle', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Merging frameworks for interaction DEL and ETL

    Merging frameworks for interaction DEL and ETL by Benthem, Johan van 1949-, Gerbrandy, Jelle, Pacuit, Eric

    Published 2007
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Dynamic epistemic logic

    Dynamic epistemic logic by Gerbrandy, Jelle

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Reasoning about information change

    Reasoning about information change by Gerbrandy, Jelle, Groeneveld, Willem

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Dynamic update with probabilities

    Dynamic update with probabilities by Benthem, Johan van 1949-, Gerbrandy, Jelle, Kooi, Barteld

    Published 2006
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Bisimulations on planet Kripke

    Bisimulations on planet Kripke by Gerbrandy, Jelle

    Published 1999
    Thesis Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Bisimulation and bounded bisimulation

    Bisimulation and bounded bisimulation by Gerbrandy, Jelle

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Reasoning about information change

    Reasoning about information change by Gerbrandy, Jelle, Groeneveld, Willem

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: