Search Results - Marx, Maarten

Filter by
  1. 1
    Cover Image

    Multi-Dimensional Modal Logic
    by Marx, Maarten

    Published 1997
    Read online
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

    Relation algebras can tile
    by Marx, Maarten

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  3. 3
    Cover Image

    Amalgamation in finite dimensional cylindric algebras
    by Marx, Maarten

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    Hybrid logics: characterization, interpolation and complexity
    by Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    Labelled deducation for the guarded fragment
    by Marx, Maarten, Schlobach, Stefan, Mikulás, Szabolcs

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    Complexity of modal logics of relations
    by Marx, Maarten

    Published 1997
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    Taming arrow logic
    by Marx, Maarten, Mikulás, Szabolcs, Németi, István

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Relativized relation algebras
    by Marx, Maarten

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Tableau for quantified hybrid logic
    by Blackburn, Patrick 1959-, Marx, Maarten

    Published 2003
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Complexity of intuitionistic predicate logic with one variable
    by Marx, Maarten

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Situation calculus as hybrid logic: first steps
    by Blackburn, Patrick 1959-, Marx, Maarten

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Beth definability for the guarded fragment
    by Hoogland, Eva, Marx, Maarten, Otto, Martin

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    Multi dimensional modal logic
    by Marx, Maarten, Venema, Yde

    Published 1997
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Regular equivalence and dynamic logic
    by Marx, Maarten

    Published 2002
    Order via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

    Constructive interpolation in hybrid logic
    by Blackburn, Patrick 1959-, Marx, Maarten

    Published 2002
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    An elementary construction for a non-elementary procedure
    by Marx, Maarten, Mikulás, Szabolcs

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    Words with attitude
    by Kamps, Jaap, Marx, Maarten

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    The computational complexity of hybrid temporal logics
    by Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Published 2000
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    Interpolation in guarded fragments
    by Hoogland, Eva, Marx, Maarten

    Published 2000
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

    All proper normal extensions of S5-square have the polynomial size model property
    by Marx, Maarten, Bezhanishvili, Nick

    Published 2000
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: