Logics with Multiteam Semantics

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

(2020)
Preprint

Identifikationsnummern