Talks and Poster Presentations (without Proceedings-Entry):
K. van Berkel:
"Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics";
Talk: Fifth TICAMORE MEETING,
Wien, Wolfgang Pauli Institut;
2019-11-11
- 2019-11-13.