Ian Hodkinson, Angelo Montanari, Guido Sciavicco. Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. In Michael Kaminski, Simone Martini, editors, Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Volume 5213 of Lecture Notes in Computer Science, pages 308-322, Springer, 2008. [doi]
@inproceedings{HodkinsonMS08,
title = {Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T},
author = {Ian Hodkinson and Angelo Montanari and Guido Sciavicco},
year = {2008},
doi = {10.1007/978-3-540-87531-4_23},
url = {http://dx.doi.org/10.1007/978-3-540-87531-4_23},
tags = {C++, logic},
researchr = {https://researchr.org/publication/HodkinsonMS08},
cites = {0},
citedby = {0},
pages = {308-322},
booktitle = {Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings},
editor = {Michael Kaminski and Simone Martini},
volume = {5213},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-87530-7},
}