Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
A Van Benthem Theorem for Modal Team Semantics
CSL, 2015.
@inproceedings{CSL-2015-KontinenMSV,
author = "Juha Kontinen and Julian-Steffen Müller and Henning Schnoor and Heribert Vollmer",
booktitle = "{24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany}",
doi = "10.4230/LIPIcs.CSL.2015.277",
isbn = "978-3-939897-90-3",
pages = "277--291",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{A Van Benthem Theorem for Modal Team Semantics}",
volume = 41,
year = 2015,
}
Tags: