Ian Hodkinson: half-dozen most recent papers

Go to home page

  1. Jannis Bulian and Ian Hodkinson
    Bare canonicity of representable cylindric and polyadic algebras
    Submitted, 2012.

  2. Ian Hodkinson
    A construction of cylindric and polyadic algebras from atomic relation algebras
    Algebra Universalis, to appear.

  3. Nick Bezhanishvili and Ian Hodkinson
    Preservation of Sahlqvist fixed point equations in completions of relativized fixed point BAOs
    Algebra Universalis, to appear.

  4. Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson
    Sahlqvist correspondence for modal mu-calculus
    Studia Logica 100 (2012) 31-60.

  5. Nick Bezhanishvili and Ian Hodkinson
    Sahlqvist theorem for modal fixed point logic
    Theoretical Computer Science 424 (2012) 1-19.

  6. Ian Hodkinson and Szabolcs Mikulás
    On canonicity and completions of weakly representable relation algebras
    J. Symbolic Logic 77 (2012) 245-262.