Logics with Multiteam Semantics
Grädel, Erich (Corresponding author); Wilke, Richard Marlon (Corresponding author)
(2020)
Preprint
Einrichtungen
- Graduiertenkolleg UnRAVeL [080060]
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
Identifikationsnummern
- DOI: 10.18154/RWTH-2020-12350
- arXiv: arXiv:2011.09834
- RWTH PUBLICATIONS: RWTH-2020-12350