| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 6 |      | Jannis Bulian, Ian Hodkinson: Bare canonicity of representable cylindric and polyadic algebras CoRR abs/1202.5961: (2012) |
| 2010 | ||
| 5 | | Ian Hodkinson: Interval Temporal Logics with Chop-Like Operators. TIME 2010: 6 |
| 4 | | Ian Hodkinson, Louis Paternault: Axiomatizing hybrid logic using modal logic. J. Applied Logic 8(4): 386-396 (2010) |
| 2008 | ||
| 3 | | Ian Hodkinson, Angelo Montanari, Guido Sciavicco: Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. CSL 2008: 308-322 |
| 2 | | Ian Hodkinson, Altaf Hussain: The modal logic of affine planes is not finitely axiomatisable. J. Symb. Log. 73(3): 940-952 (2008) |
| 2006 | ||
| 1 | | Ian Hodkinson: Hybrid Formulas and Elementarily Generated Modal Logics. Notre Dame Journal of Formal Logic 47(4): 443-478 (2006) |
| 1 | Jannis Bulian | [6] |
| 2 | Altaf Hussain | [2] |
| 3 | Angelo Montanari | [3] |
| 4 | Louis Paternault | [4] |
| 5 | Guido Sciavicco | [3] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page