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

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

20 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Electronic Proceedings in Theoretical Computer Science
Alaotsikko	Proceedings of Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015)
Toimittajat	Javier Esparza, Enrico Tronci
Sivut	129–143
Sivumäärä	15
Vuosikerta	193
Tila	Julkaistu - 2015
Julkaistu ulkoisesti	Kyllä
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Pääsy asiakirjaan

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

Siteeraa tätä

Hella, L., & Stumpf, J. (2015). The expressive power of modal logic with inclusion atoms. teoksessa J. Esparza, & E. Tronci (Toimittajat), Electronic Proceedings in Theoretical Computer Science: Proceedings of Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015) (Vuosikerta 193, Sivut 129–143) https://doi.org/10.4204/EPTCS.193.10

@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). toim. / Javier Esparza; Enrico Tronci. Vuosikerta 193 2015. s. 129–143.

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu