Sequent calculi for logics of agency: The deliberative STIT

Aktivitet: Typer för tal eller presentation › !!Invited talk

Period12 nov. 2019
EvenemangstitelFifth TICAMORE MEETING
: Translating and Discovering Calculi for Modal and Related Logics
Typ av evenemangKonferens
PlatsÖsterrikeVisa på karta
OmfattningInternationell