Verification and Strategy Synthesis for Coalition Announcement Logic Natasha AlechinaHans van DitmarschTuo Wang OriginalPaper Open access 14 July 2021 Pages: 671 - 700
Dynamic Logic of Legal Competences Huimin DongOlivier Roy OriginalPaper 13 September 2021 Pages: 701 - 724
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic Gianluca Grilletti OriginalPaper Open access 07 October 2021 Pages: 725 - 751
Performability of Actions Janusz Czelakowski OriginalPaper Open access 06 October 2021 Pages: 753 - 804
Non-deterministic Logic of Informal Provability has no Finite Characterization Pawel Pawlowski OriginalPaper 03 October 2021 Pages: 805 - 817