BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hodkinson:Ian_M=

Contributed to:

CSL 20082008
LICS 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.