- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Kontinen, J.; Müller, J.-S.; Schnoor, H.; Vollmer, H.: A van Benthem theorem for modal team semantics. In: Leibniz International Proceedings in Informatics, LIPIcs 41 (2015), S. 277-291. DOI: https://doi.org/10.4230/LIPIcs.CSL.2015.277
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (wann)
-
2015
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Technische Informationsbibliothek (TIB)
- (wann)
-
2015
- Urheber
-
Kontinen, Juha
Müller, Julian-Steffen
Schnoor, Henning
Vollmer, Heribert
- DOI
-
10.15488/857
- URN
-
urn:nbn:de:101:1-2020072214435978936347
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:57 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kontinen, Juha
- Müller, Julian-Steffen
- Schnoor, Henning
- Vollmer, Heribert
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Entstanden
- 2015
Ähnliche Objekte (12)
Actualism and Modal Semantics
The power of the filtration technique for modal logics with team semantics
Exact Truthmaker Semantics for Modal Logics
Partial Semantics for Quantified Modal Logic
Truthmaker Semantics for Intuitionistic Modal Logic
Compactness in team semantics
Counting in Team Semantics
Locality Theorems in Semiring Semantics
Topos semantics for higher-order modal logic
An alternative semantics for modal predicate-logic
Sequence, gaze, and modal semantics: modal verb selection in german permission inquiries
Sequence, gaze, and modal semantics: modal verb selection in German permission inquiries
Actualism and Modal Semantics
The power of the filtration technique for modal logics with team semantics
Exact Truthmaker Semantics for Modal Logics
Partial Semantics for Quantified Modal Logic
Truthmaker Semantics for Intuitionistic Modal Logic
Compactness in team semantics
Counting in Team Semantics
Locality Theorems in Semiring Semantics
Topos semantics for higher-order modal logic
An alternative semantics for modal predicate-logic
Sequence, gaze, and modal semantics: modal verb selection in german permission inquiries
Sequence, gaze, and modal semantics: modal verb selection in German permission inquiries
Actualism and Modal Semantics
The power of the filtration technique for modal logics with team semantics
Exact Truthmaker Semantics for Modal Logics
Partial Semantics for Quantified Modal Logic
Truthmaker Semantics for Intuitionistic Modal Logic
Compactness in team semantics
Counting in Team Semantics
Locality Theorems in Semiring Semantics
Topos semantics for higher-order modal logic
An alternative semantics for modal predicate-logic
Sequence, gaze, and modal semantics: modal verb selection in german permission inquiries