Logics with Multiteam Semantics

Grädel, Erich (Corresponding author); Wilke, Richard (Corresponding author)

(2020) [Preprint]

Identifier

  • REPORT NUMBER: RWTH-2020-12350