Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi. On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. In S. Barry Cooper, Anuj Dawar, Benedikt Löwe, editors, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings. Volume 7318 of Lecture Notes in Computer Science, pages 323-333, Springer, 2012. [doi]
@inproceedings{HoekIK12,
title = {On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic},
author = {Wiebe van der Hoek and Petar Iliev and Barteld P. Kooi},
year = {2012},
doi = {10.1007/978-3-642-30870-3_33},
url = {http://dx.doi.org/10.1007/978-3-642-30870-3_33},
researchr = {https://researchr.org/publication/HoekIK12},
cites = {0},
citedby = {0},
pages = {323-333},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings},
editor = {S. Barry Cooper and Anuj Dawar and Benedikt Löwe},
volume = {7318},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-30869-7},
}