The Expressive Power of k-ary Exclusion Logic

Raine Rönnholm

doi:10.1007/978-3-662-52921-8_23

The Expressive Power of k-ary Exclusion Logic

Raine Rönnholm

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

1 Citation (Scopus)

Original language	English
Title of host publication	Logic, Language, Information and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Editors	Ruy de Queiroz
Publisher	Springer
Pages	375-391
ISBN (Print)	978-3-662-52920-1
DOIs	https://doi.org/10.1007/978-3-662-52921-8_23
Publication status	Published - 2016
Publication type	A4 Article in conference proceedings
Event	Workshop on Logic, Language, Information and Computation (WoLLIC) - Duration: 1 Jan 2016 → …

Publication series

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

Conference

Conference	Workshop on Logic, Language, Information and Computation (WoLLIC)
Period	1/01/16 → …

Keywords

Exclusion logic
dependence logic
existential second order logic
expressive power
team semantics

Publication forum classification

Publication forum level 1

Access to Document

10.1007/978-3-662-52921-8_23

Cite this

@inproceedings{fc25088130824507a1b4efd173fcfb1e,

title = "The Expressive Power of k-ary Exclusion Logic",

keywords = "Exclusion logic, dependence logic, existential second order logic, expressive power, team semantics, Exclusion logic, dependence logic, existential second order logic, expressive power, team semantics",

author = "Raine R{\"o}nnholm",

year = "2016",

doi = "10.1007/978-3-662-52921-8_23",

language = "English",

isbn = "978-3-662-52920-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "9803",

pages = "375--391",

editor = "{de Queiroz}, Ruy",

booktitle = "Logic, Language, Information and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings",

note = "Workshop on Logic, Language, Information and Computation (WoLLIC) ; Conference date: 01-01-2016",

}

Rönnholm, R 2016, The Expressive Power of k-ary Exclusion Logic. in R de Queiroz (ed.), Logic, Language, Information and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Lecture Notes in Computer Science, no. 9803, Springer, pp. 375-391, Workshop on Logic, Language, Information and Computation (WoLLIC), 1/01/16. https://doi.org/10.1007/978-3-662-52921-8_23

The Expressive Power of k-ary Exclusion Logic. / Rönnholm, Raine.
Logic, Language, Information and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. ed. / Ruy de Queiroz. Springer, 2016. p. 375-391 (Lecture Notes in Computer Science; No. 9803).

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

TY - GEN

T1 - The Expressive Power of k-ary Exclusion Logic

AU - Rönnholm, Raine

PY - 2016

Y1 - 2016

KW - Exclusion logic

KW - dependence logic

KW - existential second order logic

KW - expressive power

KW - team semantics

KW - Exclusion logic

KW - dependence logic

KW - existential second order logic

KW - expressive power

KW - team semantics

U2 - 10.1007/978-3-662-52921-8_23

DO - 10.1007/978-3-662-52921-8_23

M3 - Conference contribution

SN - 978-3-662-52920-1

T3 - Lecture Notes in Computer Science

SP - 375

EP - 391

BT - Logic, Language, Information and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

A2 - de Queiroz, Ruy

PB - Springer

T2 - Workshop on Logic, Language, Information and Computation (WoLLIC)

Y2 - 1 January 2016

ER -