[Back]


Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"Translating and Discovering Calculi for Modal and Related Logics";
Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13.

Electronic version of the publication:
https://ticamore.logic.at/vienna2019/

Created from the Publication Database of the Vienna University of Technology.