Modal Independence Logic

Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Autoren

Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Titel des SammelwerksAdvances 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
Herausgeber/-innenRajeev Goré, Barteld P. Kooi, Agi Kurucz
Seiten353-372
Seitenumfang20
PublikationsstatusVeröffentlicht - 2014

Zitieren

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. Hrsg. / Rajeev Goré; Barteld P. Kooi; Agi Kurucz. 2014. S. 353-372.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Kontinen, J, Müller, J-S, Schnoor, H & Vollmer, H 2014, Modal Independence Logic. in R Goré, BP Kooi & A Kurucz (Hrsg.), 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. S. 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 (Hrsg.), 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 (S. 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, Hrsg., 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. S. 353-372
Kontinen, Juha ; Müller, Julian-Steffen ; Schnoor, Henning et al. / Modal Independence Logic. 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. Hrsg. / Rajeev Goré ; Barteld P. Kooi ; Agi Kurucz. 2014. S. 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 -

Von denselben Autoren