Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) |
| Seiten | 277-291 |
| Publikationsstatus | Veröffentlicht - 2015 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
A Van Benthem Theorem for Modal Team Semantics. / Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning et al.
24th EACSL Annual Conference on Computer Science Logic (CSL 2015). 2015. S. 277-291.
24th EACSL Annual Conference on Computer Science Logic (CSL 2015). 2015. S. 277-291.
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
Kontinen, J, Müller, J-S, Schnoor, H & Vollmer, H 2015, A Van Benthem Theorem for Modal Team Semantics. in 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). S. 277-291. https://doi.org/10.4230/LIPICS.CSL.2015.277
Kontinen, J., Müller, J.-S., Schnoor, H., & Vollmer, H. (2015). A Van Benthem Theorem for Modal Team Semantics. In 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) (S. 277-291) https://doi.org/10.4230/LIPICS.CSL.2015.277
Kontinen J, Müller JS, Schnoor H, Vollmer H. A Van Benthem Theorem for Modal Team Semantics. in 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). 2015. S. 277-291 doi: 10.4230/LIPICS.CSL.2015.277
Download
@inproceedings{d877b364fe70488780dc4768c4cab86c,
title = "A Van Benthem Theorem for Modal Team Semantics",
keywords = "cs.LO",
author = "Juha Kontinen and Julian-Steffen M{\"u}ller and Henning Schnoor and Heribert Vollmer",
note = "Funding information: The first author was supported by the Academy of Finland grants 264917 and 275241.",
year = "2015",
doi = "10.4230/LIPICS.CSL.2015.277",
language = "English",
pages = "277--291",
booktitle = "24th EACSL Annual Conference on Computer Science Logic (CSL 2015)",
}
Download
TY - GEN
T1 - A Van Benthem Theorem for Modal Team Semantics
AU - Kontinen, Juha
AU - Müller, Julian-Steffen
AU - Schnoor, Henning
AU - Vollmer, Heribert
N1 - Funding information: The first author was supported by the Academy of Finland grants 264917 and 275241.
PY - 2015
Y1 - 2015
KW - cs.LO
U2 - 10.4230/LIPICS.CSL.2015.277
DO - 10.4230/LIPICS.CSL.2015.277
M3 - Conference contribution
SP - 277
EP - 291
BT - 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
ER -