Talks and Poster Presentations (without Proceedings-Entry):
R. Kuznets, L. Strassburger:
"Efficient Proof Systems for Modal Logics";
Talk: 29th European Summer School in Logic, Language, and Information (ESSLLI 2017),
Toulouse, Frankreich;
2017-07-17
- 2017-07-28.