Ausgabe 4/2021
Inhalt (7 Artikel)
Open Access
Verification and Strategy Synthesis for Coalition Announcement Logic
Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, Tuo Wang
Open Access
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
Gianluca Grilletti