Andreas Herzig
1
Documents
Publications
- 1
- 1
- 1
- 1
|
Frame-validity games and lower bounds on the complexity of modal axiomsLogic Journal of the IGPL, 2020, 30 (1), ⟨10.1093/jigpal/jzaa068⟩
Article dans une revue
hal-02936458v1
|