Travelled to:1 × Denmark
1 × Italy
Collaborated with:A.Montanari G.Sciavicco F.Wolter M.Zakharyaschev
Talks about:undecid (2) tempor (2) logic (2) axiomatiz (1) fragment (1) interv (1) branch (1) order (1) first (1) finit (1)
Person: Ian M. Hodkinson
DBLP: Hodkinson:Ian_M=
Contributed to:
2008
2002Wrote 2 papers:
- CSL-2008-HodkinsonMS #axiom #logic
- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (IMH, AM, GS), pp. 308–322.
- LICS-2002-HodkinsonWZ #branch #decidability #first-order #logic
- Decidable and Undecidable Fragments of First-Order Branching Temporal Logics (IMH, FW, MZ), pp. 393–402.