OceanRep
A Van Benthem Theorem for Modal Team Semantics.
Tools
Kontinen, Juha, Müller, Julian-Steffen, Schnoor, Henning and Vollmer, Heribert
(2014)
A Van Benthem Theorem for Modal Team Semantics.
CoRR, abs/1410.6648
.
This is the latest version of this item.
Preview |
Text
KontinenMuellerSchnoorVollmer-BENTHEM-THEOREM-CORR-2014.pdf Download (678kB) | Preview |
Official URL: http://arxiv.org/abs/1410.6648
Document Type: | Article |
---|---|
Keywords: | independence logic, expressive power |
Research affiliation: | Kiel University > Software Engineering |
Refereed: | No |
Open Access Journal?: | Yes |
Date Deposited: | 03 Jul 2017 07:24 |
Last Modified: | 03 Jul 2017 07:24 |
URI: | https://oceanrep.geomar.de/id/eprint/37776 |
Available Versions of this Item
-
A Van Benthem Theorem for Modal Team Semantics (deposited 02 May 2017 07:48)
- A Van Benthem Theorem for Modal Team Semantics (deposited 03 Jul 2017 07:24) [Currently Displayed]
Actions (login required)
![]() |
View Item |
![](/images/clear.gif)
Copyright 2023 | GEOMAR Helmholtz-Zentrum für Ozeanforschung Kiel | All rights reserved
Questions, comments and suggestions regarding the GEOMAR repository are welcomed
at bibliotheksleitung@geomar.de !