Logics with Multiteam Semantics

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

(2020)
Preprint

Identifier

Downloads