Details
| Original language | English |
|---|---|
| Title of host publication | Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014 |
| Editors | Rajeev Goré, Barteld P. Kooi, Agi Kurucz |
| Pages | 353-372 |
| Number of pages | 20 |
| Publication status | Published - 2014 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Modal Independence Logic. / Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning et al.
Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. ed. / Rajeev Goré; Barteld P. Kooi; Agi Kurucz. 2014. p. 353-372.
Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. ed. / Rajeev Goré; Barteld P. Kooi; Agi Kurucz. 2014. p. 353-372.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
Kontinen, J, Müller, J-S, Schnoor, H & Vollmer, H 2014, Modal Independence Logic. in R Goré, BP Kooi & A Kurucz (eds), Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. pp. 353-372. <http://arxiv.org/abs/1404.0144>
Kontinen, J., Müller, J.-S., Schnoor, H., & Vollmer, H. (2014). Modal Independence Logic. In R. Goré, B. P. Kooi, & A. Kurucz (Eds.), Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014 (pp. 353-372) http://arxiv.org/abs/1404.0144
Kontinen J, Müller JS, Schnoor H, Vollmer H. Modal Independence Logic. In Goré R, Kooi BP, Kurucz A, editors, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. 2014. p. 353-372
Download
@inproceedings{4ab32866ec16451281bce641b1e8519e,
title = "Modal Independence Logic",
author = "Juha Kontinen and Julian-Steffen M{\"u}ller and Henning Schnoor and Heribert Vollmer",
year = "2014",
language = "English",
pages = "353--372",
editor = "Rajeev Gor{\'e} and Kooi, {Barteld P.} and Agi Kurucz",
booktitle = "Advances in Modal Logic 10, invited and contributed papers from the tenth conference on {"}Advances in Modal Logic,{"} held in Groningen, The Netherlands, August 5-8, 2014",
}
Download
TY - GEN
T1 - Modal Independence Logic
AU - Kontinen, Juha
AU - Müller, Julian-Steffen
AU - Schnoor, Henning
AU - Vollmer, Heribert
PY - 2014
Y1 - 2014
M3 - Conference contribution
SP - 353
EP - 372
BT - Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014
A2 - Goré, Rajeev
A2 - Kooi, Barteld P.
A2 - Kurucz, Agi
ER -