Search Results - Venema, Yde

Filter by
  1. 1
    Cover Image

    Modal logic
    by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde 1963-

    Published 2001
    Book


    Saved in:
  2. 2
    Cover Image

    Modal logic
    by Blackburn, Patrick 1959-, Rijke, Maarten de 1961-, Venema, Yde 1963-

    Published 2001
    Read online (BSB)

    Library Card of Bavarian State Library (BSB) necessary.

    Read online (LMU)

    Available at the library of LMU.

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

    Points, lines and diamonds: a two-sorted model logic for projective planes
    by Venema, Yde 1963-

    Published 1998
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    The preservation of Sahlqvist equations in completions of Boolean algebras with operators
    by Givant, Steven R. 1943-, Venema, Yde 1963-

    Published 1998
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    The algebra of modal logic
    by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    Relational methods in logic, language and information
    by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    Many-dimensional modal logic
    by Venema, Yde 1963-

    Published 1992
    Order via interlibrary loan
    Thesis/Dissertation Book


    Saved in:
  8. 8
    Cover Image

    Modal logic
    by Blackburn, Patrick 1959-

    Published 2001
    Other Authors: “…Venema, Yde 1963-…”
    Read online
    eBook


    Saved in:
  9. 9
    Cover Image

    Modal logic
    by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde 1963-

    Published 2010
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Atomless varieties
    by Venema, Yde

    Published 2002
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Axiomatizing complex algebras by games
    by Hodkinson, Ian, Mikulás, Szabolcs, Venema, Yde

    Published 2000
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Temporal logic
    by Venema, Yde

    Published 1998
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    Relational methods in logic, language and information
    by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Meeting strength in substructural logics
    by Venema, Yde

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

    Cylindric modal logic
    by Venema, Yde

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    Modal logic
    by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

    Published 2008
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    MacNeille completions and canonical extensions
    by Gehrke, Mai, Harding, John, Venema, Yde

    Published 2004
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    Automata and fixed point logic: a coalgebraic perspective
    by Venema, Yde

    Published 2004
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    Modal logic
    by Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

    Published 2004
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

    Erds graphs resolve Fine's canonicity problem
    by Goldblatt, Robert 1949-, Hodkinson, Ian, Venema, Yde

    Published 2003
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: