Dynamic term-modal logic revisited

Kooi, B. (Invited speaker)

Activity: Talk and presentationAcademic event Academic

Period15-Nov-201917-Nov-2019
Event titleSOCREAL 2019: null
Event typeConference
LocationSapporo, Japan
Degree of RecognitionInternational