Logics with Multiteam Semantics

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

(2020)
Preprint

Identifikationsnummern

Downloads