Ian Hodkinson: half-dozen most recent papers
Go to home page
-
Jannis Bulian and Ian Hodkinson
Bare canonicity of representable cylindric and polyadic algebras
Submitted, 2012.
-
Ian Hodkinson
A construction of cylindric and polyadic algebras from atomic relation algebras
Algebra Universalis, to appear.
- Nick Bezhanishvili and Ian Hodkinson
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point BAOs
Algebra Universalis, to appear.
-
Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson
Sahlqvist correspondence for modal mu-calculus
Studia Logica 100 (2012) 31-60.
-
Nick Bezhanishvili and Ian Hodkinson
Sahlqvist theorem for modal fixed point logic
Theoretical Computer Science 424 (2012) 1-19.
-
Ian Hodkinson and Szabolcs Mikulás
On canonicity and completions of weakly representable relation algebras
J. Symbolic Logic 77 (2012) 245-262.