On the relative succinctness of two extensions by definitions of multimodal logic

W van der  Hoek; Petar Iliev; B.P. Kooi

doi:10.1007/978-3-642-30870-3_33

On the relative succinctness of two extensions by definitions of multimodal logic

W van der Hoek, Petar Iliev, B.P. Kooi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

6 Citations (Scopus)

43 Downloads (Pure)

Original language	Dutch
Title of host publication	How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE)
Editors	S.B. Cooper, A. Dawar, B. Löwe
Publisher	Lecture notes in computer science
Pages	323 - 333
Volume	7318
ISBN (Electronic)	978-3-642-30870-3
ISBN (Print)	978-3-642-30869-7
DOIs	https://doi.org/10.1007/978-3-642-30870-3_33
Publication status	Published - 2012
Event	8th Conference on Computability in Europe (CiE) - Duration: 1-Jan-2012 → 1-Jan-2012

Publication series

Name	Lecture Notes in Computer Science
ISSN (Print)	0302-9743

Other

Other	8th Conference on Computability in Europe (CiE)
Period	01/01/2012 → 01/01/2012

Access to Document

10.1007/978-3-642-30870-3_33

Handle.net

Persistent link

Cite this

van der Hoek, W., Iliev, P., & Kooi, B. P. (2012). On the relative succinctness of two extensions by definitions of multimodal logic. In S. B. Cooper, A. Dawar, & B. Löwe (Eds.), How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE) (Vol. 7318, pp. 323 - 333). (Lecture Notes in Computer Science). Lecture notes in computer science. https://doi.org/10.1007/978-3-642-30870-3_33

van der Hoek, W ; Iliev, Petar ; Kooi, B.P. / On the relative succinctness of two extensions by definitions of multimodal logic. How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). editor / S.B. Cooper ; A. Dawar ; B. Löwe. Vol. 7318 Lecture notes in computer science, 2012. pp. 323 - 333 (Lecture Notes in Computer Science).

@inproceedings{74db5908e5a741258679e04b9a1bfe62,

title = "On the relative succinctness of two extensions by definitions of multimodal logic",

author = "{van der Hoek}, W and Petar Iliev and B.P. Kooi",

note = "Event: 8th Conference on Computability in Europe (CiE); 8th Conference on Computability in Europe (CiE) ; Conference date: 01-01-2012 Through 01-01-2012",

year = "2012",

doi = "10.1007/978-3-642-30870-3_33",

language = "Dutch",

isbn = " 978-3-642-30869-7",

volume = "7318",

series = "Lecture Notes in Computer Science",

publisher = "Lecture notes in computer science",

pages = "323 -- 333",

editor = "S.B. Cooper and A. Dawar and B. L{\"o}we",

booktitle = "How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE)",

}

van der Hoek, W, Iliev, P & Kooi, BP 2012, On the relative succinctness of two extensions by definitions of multimodal logic. in SB Cooper, A Dawar & B Löwe (eds), How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). vol. 7318, Lecture Notes in Computer Science, Lecture notes in computer science, pp. 323 - 333, 8th Conference on Computability in Europe (CiE), 01/01/2012. https://doi.org/10.1007/978-3-642-30870-3_33

On the relative succinctness of two extensions by definitions of multimodal logic. / van der Hoek, W; Iliev, Petar; Kooi, B.P.
How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). ed. / S.B. Cooper; A. Dawar; B. Löwe. Vol. 7318 Lecture notes in computer science, 2012. p. 323 - 333 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - On the relative succinctness of two extensions by definitions of multimodal logic

AU - van der Hoek, W

AU - Iliev, Petar

AU - Kooi, B.P.

N1 - Event: 8th Conference on Computability in Europe (CiE)

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-30870-3_33

DO - 10.1007/978-3-642-30870-3_33

M3 - Conference contribution

SN - 978-3-642-30869-7

VL - 7318

T3 - Lecture Notes in Computer Science

SP - 323

EP - 333

BT - How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE)

A2 - Cooper, S.B.

A2 - Dawar, A.

A2 - Löwe, B.

PB - Lecture notes in computer science

T2 - 8th Conference on Computability in Europe (CiE)

Y2 - 1 January 2012 through 1 January 2012

ER -

van der Hoek W, Iliev P, Kooi BP. On the relative succinctness of two extensions by definitions of multimodal logic. In Cooper SB, Dawar A, Löwe B, editors, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). Vol. 7318. Lecture notes in computer science. 2012. p. 323 - 333. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-30870-3_33