Logics with Multiteam Semantics

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

New York, NY : Association for Computing Machinery (2022)
Journal Article

In: ACM transactions on computational logic : TOCL
Volume: 23
Issue: 2
Page(s)/Article-Nr.: 13


  • Department of Mathematics [110000]
  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
  • UnRAVeL Research Training Group [080060]