Ian M. Hodkinson

发表

Robert Goldblatt, Ian M. Hodkinson, R. Goldblatt, 2017, Ann. Pure Appl. Log..
Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2000, Ann. Pure Appl. Log..
Ian M. Hodkinson, Mark Reynolds, 2005, We Will Show Them!.
Ian M. Hodkinson, Roger D. Maddux, Robin Hirsch, 2011, The Journal of Symbolic Logic.
Ian M. Hodkinson, Roger D. Maddux, Robin Hirsch, 2002, Bulletin of Symbolic Logic.
András Simon, Ian M. Hodkinson, 1997, J. Philos. Log..
Robert Goldblatt, Ian M. Hodkinson, Yde Venema, 2004, Bull. Symb. Log..
Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Ian M. Hodkinson, Louis Paternault, I. Hodkinson, 2010, J. Appl. Log..
Ian M. Hodkinson, Hicham Tahiri, I. Hodkinson, 2010, The Review of Symbolic Logic.
Robert Goldblatt, Ian M. Hodkinson, R. Goldblatt, 2018, Stud Logica.
Szabolcs Mikulás, Ian M. Hodkinson, 1998, RelMiCS.
Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.
Ian M. Hodkinson, I. Hodkinson, 1997, Ann. Pure Appl. Log..
Ian M. Hodkinson, I. Hodkinson, 1995, Theor. Comput. Sci..
Ian M. Hodkinson, Nick Bezhanishvili, I. Hodkinson, 2004, Stud Logica.
Ian M. Hodkinson, H. D. Macpherson, 1988, J. Symb. Log..
Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2001, LPAR.
Jannis Bulian, Ian M. Hodkinson, I. Hodkinson, 2012, Ann. Pure Appl. Log..
Ian M. Hodkinson, Altaf Hussain, I. Hodkinson, 2008, Journal of Symbolic Logic.
Johan van Benthem, Ian M. Hodkinson, Nick Bezhanishvili, 2012, Studia Logica.
Ian M. Hodkinson, I. Hodkinson, 2002, Stud Logica.
Ian M. Hodkinson, Hajnal Andréka, István Németi, 1999, Journal of Symbolic Logic.
Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Ian M. Hodkinson, Martin Otto, I. Hodkinson, 2003, Bull. Symb. Log..
Robert Goldblatt, Ian M. Hodkinson, R. Goldblatt, 2016, ArXiv.
Ian M. Hodkinson, 2006, Ann. Pure Appl. Log..
Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 2000, Ann. Pure Appl. Log..
Szabolcs Mikulás, Ian M. Hodkinson, I. Hodkinson, 2012, The Journal of Symbolic Logic.
Ian M. Hodkinson, I. Hodkinson, 2014, J. Log. Comput..
Ian M. Hodkinson, I. Hodkinson, 2006, Notre Dame J. Formal Log..
Ian M. Hodkinson, Dugald Macpherson, Wilfried Hodges, 1990, Ann. Pure Appl. Log..
Ian M. Hodkinson, 1994, Bull. EATCS.
Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 1997, Journal of Symbolic Logic.
Ian M. Hodkinson, Hajnal Andréka, István Németi, 1997, RelMiCS.
Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 1997, Log. J. IGPL.
Guido Sciavicco, Angelo Montanari, Ian M. Hodkinson, 2008, CSL.
Ian M. Hodkinson, Ian M. Hodkinson, 2020, Mathematics of the Bond Market: A Lévy Processes Approach.
Dov M. Gabbay, Ian M. Hodkinson, D. Gabbay, 1990, J. Log. Comput..
Ian M. Hodkinson, I. Hodkinson, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.
Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 2001, Ann. Pure Appl. Log..
Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 2001, Ann. Pure Appl. Log..
Dov M. Gabbay, Anthony Hunter, Ian M. Hodkinson, 1989, Concurrency: Theory, Language, And Architecture.
Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 1997, Journal of Symbolic Logic.
Ian M. Hodkinson, Robin Hirsch, Ágnes Kurucz, 2002, J. Symb. Log..
Robert Goldblatt, Ian M. Hodkinson, R. Goldblatt, 2016, Advances in Modal Logic.
Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 2009, The Journal of Symbolic Logic.
Dov M. Gabbay, Michael Fisher, Anthony Hunter, 1996 .
Ian M. Hodkinson, Roger D. Maddux, Robin Hirsch, 2002, Journal of Symbolic Logic.
Ian M. Hodkinson, Nick Bezhanishvili, I. Hodkinson, 2012, Theor. Comput. Sci..
Ian M. Hodkinson, Robin Hirsch, I. Hodkinson, 1998, RelMiCS.
Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2004, J. Log. Comput..
Ian M. Hodkinson, Robin Hirsch, Ágnes Kurucz, 2006 .