The expressive power of modal logic with inclusion atoms

Lauri Hella; Johanna Stumpf

The expressive power of modal logic with inclusion atoms

Lauri Hella
, Johanna Stumpf

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

18 Citations (Scopus)

Original language	English
Title of host publication	Electronic Proceedings in Theoretical Computer Science
Subtitle of host publication	Proceedings of Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015)
Editors	Javier Esparza, Enrico Tronci
Pages	129–143
Number of pages	15
Volume	193
Publication status	Published - 2015
Externally published	Yes
Publication type	A4 Article in conference proceedings

Access to Document

https://doi.org/10.4204/EPTCS.193.10Licence: Unspecified

Cite this

@inproceedings{f889d4e69b96435c937a88f00c4dcc03,

title = "The expressive power of modal logic with inclusion atoms",

author = "Lauri Hella and Johanna Stumpf",

year = "2015",

language = "English",

volume = "193",

pages = "129–143",

editor = "Esparza, \{Javier \} and Tronci, \{Enrico \}",

booktitle = "Electronic Proceedings in Theoretical Computer Science",

}

The expressive power of modal logic with inclusion atoms. / Hella, Lauri; Stumpf, Johanna.
Electronic Proceedings in Theoretical Computer Science: Proceedings of Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015). ed. / Javier Esparza; Enrico Tronci. Vol. 193 2015. p. 129–143.

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