Bounded game-theoretic semantics for modal mu-calculus and some variants

Lauri Hella; Antti Kuusisto; Raine Rönnholm

doi:10.4204/EPTCS.326.6

Bounded game-theoretic semantics for modal mu-calculus and some variants

Lauri Hella, Antti Kuusisto, Raine Rönnholm

Computing Sciences

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

1 Citation (Scopus)

Original language	English
Title of host publication	Electronic Proceedings in Theoretical Computer Science
Subtitle of host publication	Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020)
Pages	82–96
Number of pages	15
Volume	326
DOIs	https://doi.org/10.4204/EPTCS.326.6
Publication status	Published - 2020
Publication type	A4 Article in conference proceedings
Event	International Symposium on Games, Automata, Logics, and Formal Verification - Duration: 21 Sept 2020 → 22 Sept 2020

Publication series

Name	Electronic proceedings in theoretical computer science
ISSN (Electronic)	2075-2180

Conference

Conference	International Symposium on Games, Automata, Logics, and Formal Verification
Period	21/09/20 → 22/09/20

Publication forum classification

Publication forum level 0

Access to Document

10.4204/EPTCS.326.6

https://arxiv.org/abs/2009.10880

Cite this

Hella, L., Kuusisto, A., & Rönnholm, R. (2020). Bounded game-theoretic semantics for modal mu-calculus and some variants. In Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020) (Vol. 326, pp. 82–96). (Electronic proceedings in theoretical computer science). https://doi.org/10.4204/EPTCS.326.6

Hella, Lauri ; Kuusisto, Antti ; Rönnholm, Raine. / Bounded game-theoretic semantics for modal mu-calculus and some variants. Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020). Vol. 326 2020. pp. 82–96 (Electronic proceedings in theoretical computer science).

@inproceedings{2ebfdbf341894452b1093a8f42cd3a62,

title = "Bounded game-theoretic semantics for modal mu-calculus and some variants",

author = "Lauri Hella and Antti Kuusisto and Raine R{\"o}nnholm",

note = "jufoid=70358; International Symposium on Games, Automata, Logics, and Formal Verification ; Conference date: 21-09-2020 Through 22-09-2020",

year = "2020",

doi = "10.4204/EPTCS.326.6",

language = "English",

volume = "326",

series = "Electronic proceedings in theoretical computer science",

pages = "82–96",

booktitle = "Electronic Proceedings in Theoretical Computer Science",

}

Hella, L , Kuusisto, A & Rönnholm, R 2020, Bounded game-theoretic semantics for modal mu-calculus and some variants. in Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020). vol. 326, Electronic proceedings in theoretical computer science, pp. 82–96, International Symposium on Games, Automata, Logics, and Formal Verification , 21/09/20. https://doi.org/10.4204/EPTCS.326.6

Bounded game-theoretic semantics for modal mu-calculus and some variants. / Hella, Lauri ; Kuusisto, Antti; Rönnholm, Raine.
Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020). Vol. 326 2020. p. 82–96 (Electronic proceedings in theoretical computer science).

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

TY - GEN

T1 - Bounded game-theoretic semantics for modal mu-calculus and some variants

AU - Hella, Lauri

AU - Kuusisto, Antti

AU - Rönnholm, Raine

N1 - jufoid=70358

PY - 2020

Y1 - 2020

U2 - 10.4204/EPTCS.326.6

DO - 10.4204/EPTCS.326.6

M3 - Conference contribution

VL - 326

T3 - Electronic proceedings in theoretical computer science

SP - 82

EP - 96

BT - Electronic Proceedings in Theoretical Computer Science

T2 - International Symposium on Games, Automata, Logics, and Formal Verification

Y2 - 21 September 2020 through 22 September 2020

ER -

Hella L , Kuusisto A, Rönnholm R. Bounded game-theoretic semantics for modal mu-calculus and some variants. In Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020). Vol. 326. 2020. p. 82–96. (Electronic proceedings in theoretical computer science). doi: 10.4204/EPTCS.326.6